Changeset 4417
- Timestamp:
- 08/16/08 12:40:35 (3 months ago)
- Files:
-
- trunk/ide/Editor.py (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
trunk/ide/Editor.py
r4341 r4417 370 370 ed = pg.editor 371 371 if not ed.isChanged() and ed.checkForDiskUpdate(): 372 selpos = ed.SelectionPosition 372 373 ed.openFile(ed._fileName) 374 ed.SelectionPosition = selpos 373 375 374 376
