Revision d6d945d2
ref #6925 Set active editor to null if all are closed
Files
- added
- modified
- copied
- renamed
- deleted
ID | d6d945d2b2678b85c282266053637e86c50d6f37 |
Parent | 6b16be9d |
Child | 1aa2508a |
Added by Patrick Plitzner about 3 years ago
ref #6925 Set active editor to null if all are closed