3.8.1 ===== * many improvements to window-list: - windows are activated by DND over them - window buttons now have the right size, even if the text is smaller or larger than the ideal - window buttons can be grouped automatically when the panel becomes crowded - added a workspace switcher menu * added keyboard navigation to apps-menu * small tweaks to classic-mode theme, in particular for menus * translation updates (gl, ko, sr)