Checkmark for selected windows

The window menu now adds a checkmark to the currently selected window.

Also a bug was fixed that caused the app not to exit when implicit exit was set t0 false.