Changeset 1406

Show
Ignore:
Timestamp:
08/17/07 09:38:06 (6 years ago)
Author:
ejlb
Message:

Merge from r5593. Now .usr is only added when no extension is specified by the user

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/umitGUI/MainWindow.py

    r1323 r1406  
    728728            if (response == gtk.RESPONSE_OK): 
    729729                filename = self._save_results_filechooser_dialog.get_filename() 
    730                 filter = self._save_results_filechooser_dialog.get_filter() 
    731                 # determine file extension from filter and filename 
    732                 if (filter.get_name() == "UMIT Scan Results (*.usr)" and 
    733                 not (filename.find('.usr') == len(filename)-4)): 
    734                     filename += '.usr' 
     730                # add .usr to filename if there is no other extension 
     731                if filename.find('.') == -1: 
     732                    filename += ".usr" 
    735733                self._save(current_page, filename) 
    736734