Changeset 4341
- Timestamp:
- 08/02/08 18:25:32 (4 months ago)
- Files:
-
- trunk/ide/Editor.py (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/ide/Editor.py
r4154 r4341 356 356 def onPrint(self, evt): 357 357 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 360 375 def onLexSelect(self, evt): 361 376 self.CurrentEditor.Language = self.lexSelector.Value … … 472 487 473 488 def onEditorPageChanged(self, evt): 489 self.checkForUpdatedFiles() 474 490 self.onTitleChanged(evt) 475 491 self.setCheckedMenus() … … 486 502 def setCheckedMenus(self): 487 503 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 491 510 self._showOutItem.Checked = self.Application.getUserSetting("visibleOutput", False) 492 511
