Fail to remove taskbar icon when minimized window is closed.
Code cleanup: Remove margins from tab labels in prefs.js.