GTK+ 3.22 released

2016-09-21 Thread Matthias Clasen
GTK+ 3.22.0 is now available for download at: http://download.gnome.org/sources/gtk+/3.22/ sha256 sum: 88d0bb584be7ecec965b82ba88a9cf0aafd6f03eff7447653295ab2341c74134 gtk+-3.22.0.tar.xz What is GTK+ GTK+ is a multi-platform toolkit for creating graphical user interfaces.

GTK+ 3.22 released

2016-09-21 Thread Matthias Clasen
GTK+ 3.22.0 is now available for download at: http://download.gnome.org/sources/gtk+/3.22/ sha256 sum: 88d0bb584be7ecec965b82ba88a9cf0aafd6f03eff7447653295ab2341c74134 gtk+-3.22.0.tar.xz What is GTK+ GTK+ is a multi-platform toolkit for creating graphical user interfaces.

GTK+ 3.22 released

2016-09-21 Thread Matthias Clasen
GTK+ 3.22.0 is now available for download at: http://download.gnome.org/sources/gtk+/3.22/ sha256 sum: 88d0bb584be7ecec965b82ba88a9cf0aafd6f03eff7447653295ab2341c74134 gtk+-3.22.0.tar.xz What is GTK+ GTK+ is a multi-platform toolkit for creating graphical user interfaces.

Style tabs with css

2016-09-21 Thread Kasper Peeters
Is it possible to style 'tab' characters in a TextView widget such that they become distinguishable from ordinary spaces? I tried looking for a list of all CSS properties known to TextView but couldn't find any. Thanks. Kasper ___ gtk-list mailing list