[devlibs-gtk3] Theme issues

[jazzynico]

When using the gtk3 libs, the menus' text is too big and not correctly padded compared to gtk2.
See screenshot.

[jazzynico (jazzynico)]

With gtk3, etc\gtk-2.0\gtkrc is replaced with etc\gtk-3.0\settings.ini.

Minimal settings.ini file that fixes the font size issue:
-----
[Settings]
gtk-font-name=Tahoma 8
-----

[jazzynico (jazzynico)]

Partially fixed (font size) revision 29.

[jazzynico (jazzynico)]

Revision 32 adds a new Adwaita theme as default. Compared to our old default theme, it's a visually different, but solves some of the reported issues with menus.
Note that Adwaita has a bug with rulers (black background). I'll try to solve it later.

Don't hesitate to test and comment.

[jazzynico (jazzynico)]

Rulers bug fixed revision 33 (ruler.cpp has its own GtkCssProvider and uses an undefined @bg_color; CSS value).

[su_v (suv-lp)]

@JazzyNico - the ruler issue is not specific to GTK3 on Windows (see bug #1094511) - could this be addressed in trunk instead of modifying a theme which is usually installed by default (system) and not under the packager's or user's control?

[jazzynico (jazzynico)]

> the ruler issue is not specific to GTK3 on Windows (see bug #1094511)

I didn't remember it was reopened. Patch in progress!

[jazzynico (jazzynico)]

Patch for bug #1094511 committed in the trunk, revision 12835.