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