Added: option "Silently close unsaved empty tab (MDI)" now also work in SDI mode.
Authored by: instructor_ 2015-08-25
Parent: [r3989]
Child: [r3991]