Changeset 4341

Show
Ignore:
Timestamp:
08/02/08 18:25:32 (4 months ago)
Author:
ed
Message:

Added code to check if a file on disk has been updated since it was opened in the editor. If so, and the editor version is not modified, the editor is refreshed with the current disk version.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved
  • trunk/ide/Editor.py

    r4154 r4341  
    356356    def onPrint(self, evt): 
    357357        self.CurrentEditor.onPrint() 
    358      
    359      
     358 
     359 
     360    def onActivate(self, evt): 
     361        """Check the files to see if any have been updated on disk.""" 
     362        self.checkForUpdatedFiles() 
     363 
     364 
     365    def checkForUpdatedFiles(self): 
     366        """If any file being edited has not been modified, and there is a more recent version 
     367        on disk, update the file with the version on disk. 
     368        """ 
     369        for pg in self.pgfEditor.Pages: 
     370            ed = pg.editor 
     371            if not ed.isChanged() and ed.checkForDiskUpdate(): 
     372                ed.openFile(ed._fileName) 
     373 
     374 
    360375    def onLexSelect(self, evt): 
    361376        self.CurrentEditor.Language = self.lexSelector.Value 
     
    472487 
    473488    def onEditorPageChanged(self, evt): 
     489        self.checkForUpdatedFiles() 
    474490        self.onTitleChanged(evt) 
    475491        self.setCheckedMenus() 
     
    486502    def setCheckedMenus(self): 
    487503        ed = self.CurrentEditor 
    488         self._autoAutoItem.Checked = ed.AutoAutoComplete 
    489         self._wrapItem.Checked = ed.WordWrap 
    490         self._synColorItem.Checked = ed.SyntaxColoring 
     504        if ed is None: 
     505            self._autoAutoItem.Checked = self._wrapItem.Checked = self._synColorItem.Checked = False 
     506        else: 
     507            self._autoAutoItem.Checked = ed.AutoAutoComplete 
     508            self._wrapItem.Checked = ed.WordWrap 
     509            self._synColorItem.Checked = ed.SyntaxColoring 
    491510        self._showOutItem.Checked = self.Application.getUserSetting("visibleOutput", False) 
    492511