After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 723310 - Add an option to easily enable or disable font scaling for headings/titles
Add an option to easily enable or disable font scaling for headings/titles
Status: RESOLVED OBSOLETE
Product: gtksourceview
Classification: Platform
Component: General
unspecified
Other All
: Normal enhancement
: ---
Assigned To: GTK Sourceview maintainers
GTK Sourceview maintainers
Depends on:
Blocks:
 
 
Reported: 2014-01-30 18:29 UTC by Sébastien Wilmet
Modified: 2021-07-05 11:00 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Sébastien Wilmet 2014-01-30 18:29:34 UTC 
Font scaling support has been added, with support for headings/titles in LaTeX and HTML, see bug #701364.

But to enable this feature, a custom style scheme is required, because the default style schemes don't use the scale property (users generally expect by default the same font size everywhere).

So it would be nice to be able to enable or disable font scaling at run time. A property can for example be added to GtkSourceStyleScheme. But the style scheme system is maybe not flexible enough, see for example the bug #570939.
Comment 1 Sébastien Wilmet 2016-10-22 13:12:53 UTC 
Bug #773351 is related. Maybe a property can be added, and when the signal is emitted, the default handler sets the font scaling appropriately.
Comment 2 GNOME Infrastructure Team 2021-07-05 11:00:54 UTC 
GNOME is going to shut down bugzilla.gnome.org in favor of gitlab.gnome.org.
As part of that, we are mass-closing older open tickets in bugzilla.gnome.org
which have not seen updates for a longer time (resources are unfortunately
quite limited so not every ticket can get handled).

If you can still reproduce the situation described in this ticket in a recent
and supported software version, then please follow
  https://wiki.gnome.org/GettingInTouch/BugReportingGuidelines
and create a new ticket at
  https://gitlab.gnome.org/GNOME/gtksourceview/-/issues/

Thank you for your understanding and your help.