mate-panel/applets, branch v1.13.2 MATE panel GTK+3.20: adjust CSS classes for WnckPager 2016-03-23T08:55:53+00:00 György Balló ballogyor@gmail.com 2016-03-21T04:33:09+00:00 f1ad9e27d125359efe2984e21b166bab3d392e81 This allows to use class names consistently. The old WnckPager CSS selector will not work with GTK+ 3.20. 
This allows to use class names consistently. The old WnckPager CSS selector will not work with GTK+ 3.20.
 fix some warnings 2016-02-21T10:51:49+00:00 Sorokin Alexei sor.alexei@meowr.ru 2016-02-16T00:09:46+00:00 a0a59122dab148294f199aeb8e9a85901793c435 






GTK+3: add style class wnck-pager
2016-02-20T14:55:38+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-20T14:55:38+00:00

25e25157410ff41965dd38f426538fed6c934913












GTK+-3.0 workspace-switcher: Remove switching workspace on scroll events
2016-02-16T22:19:33+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-14T10:22:11+00:00

0be1bd917ac00a4553bc6d3ace836aed44cd99a4

This is now done by WnckPager itself.
And it fixes a build warning.

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=8a8c60f





This is now done by WnckPager itself.
And it fixes a build warning.

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=8a8c60f







GTK+3 na-tray-child: fix a Wunused-but-set-variable build warning
2016-02-12T06:04:32+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T09:37:19+00:00

1b7d949fd82fa646d9705b7a04e7090d4f5b9366












GTK+3 fish: fix a Wunused-but-set-variable build warning
2016-02-12T06:04:32+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T09:26:28+00:00

b0add1200ab5e61c88a5eb158c92faebef7debfd












Gtk+-3.20 window-menu: remove deprecated style properties
2016-02-12T06:04:31+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T07:04:05+00:00

efa22493824093113ca4dd8616f15b1ce4d5bb23

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=080b953





taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=080b953







GTK+-3.20 clock: remove deprecated style properties
2016-02-12T06:04:31+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T07:03:12+00:00

0aa05dc52ee3c1988c6a33b529bdee3275693e2d

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=c5549ba





taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=c5549ba







GTK+-3.20 showdesktop: remove deprecated style properties
2016-02-12T06:04:31+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T07:02:04+00:00

aecc9d08b373a102defc235dba5dccd55c4ae4b3

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=080b953





taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=080b953







GTK+-3.20 clock: don't use deprecated style properties
2016-02-12T06:04:31+00:00

Wolfgang Ulbrich
chat-to-me@raveit.de

2016-02-11T07:01:01+00:00

089e08b37e96805ce79c8a32f24bb9a071952852

taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=e67ac2a





taken from:
https://git.gnome.org/browse/gnome-panel/commit/?id=e67ac2a