<div dir="ltr"><div>This change set cleans up Theme a bit, removing notifications of window opening and closing (I added these notifications some years ago in order to support my tiling window manager).</div><div><br></div><div>Also, when recreating the desktop (for example after changing the font), make sure to respect the Theme setting of useTaskbar (if false, don't recreate the taskbar).<br> </div></div>