Revision 63032fd5
dispose old editorInput, when setting new one
Files
- added
- modified
- copied
- renamed
- deleted
ID | 63032fd539d32005a81ed27545c31a3c1a0175d2 |
Parent | 88ce3c57 |
Child | 40f43e27 |
Added by Katja Luther over 3 years ago
dispose old editorInput, when setting new one