From 4007919a3cb51e7c46608bb768d683fbcf6b3a53 Mon Sep 17 00:00:00 2001
From: Wolfgang Ulbrich <chat-to-me@raveit.de>
Date: Sun, 21 Feb 2016 12:49:26 +0100
Subject: release 1.13.1

---
 NEWS | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'NEWS')

diff --git a/NEWS b/NEWS
index d60943e9..4e30dc42 100644
--- a/NEWS
+++ b/NEWS
@@ -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
-- 
cgit v1.2.1