css: Add -gtk-dpi CSS property hack

Desktop / GNOME / GTK - Benjamin Otte [redhat.com] - 5 February 2015 11:57 UTC

This property is necessary to ensure widgets automatically update after the text scale factor is changed desktop-wide.

And if I'm already doing a property like this, I can make it overridable. So now you can override the dpi per-widget with CSS like GtkSwitch {-gtk-dpi: 48; } if you want to debug things.

Long-term, we want to get rid of this property and insist on dpi being 96 everywhere and people can change the font size to get larger fonts.

89f635f css: Add -gtk-dpi CSS property hack
gtk/gtkcssinitialvalue.c | 13 +++++++++++++
gtk/gtkcssstylepropertyimpl.c | 18 +++++++++++++++++-
gtk/gtkcsstypesprivate.h | 1 +
gtk/gtkwidget.c | 8 ++++++--
4 files changed, 37 insertions(+), 3 deletions(-)

Upstream: git.gnome.org

  • Share