Revision 5129bf4e
ref #7887 Prompt user if editor is dirty
Files
- added
- modified
- copied
- renamed
- deleted
ID | 5129bf4e536d07caa735cd2f6d7c98416f906964 |
Parent | 8f2a9479 |
Child | ea7c58af |
Added by Patrick Plitzner about 2 years ago
ref #7887 Prompt user if editor is dirty