diff options
-rw-r--r-- | NEWS | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -1,4 +1,13 @@ 1.13.1 + * menubar and menitem size is now selectable via gesetting, default is 22px + * GTK+-3.20: a bunch of new css names and style classes are added + * GTK+-3.0 workspace-switcher: Remove switching workspace on scroll events, + * This is now done by WnckPager itself. + * GTK+3: a lot of deprecation and fixes + * fixes some build warnings + * icon chooser: use proper icon name for missing icon + * Kill ubuntu counterhack + * GTK+3: Fix ButtonWidget appearing as a thin line on creation 1.13.0 * GTK3: More panel BG rendering bugfixes |