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 665711 - [fontchooser] Font size cannot be changed to floating point / non-integer / decimal values
[fontchooser] Font size cannot be changed to floating point / non-integer / d...
Status: RESOLVED FIXED
Product: gtk+
Classification: Platform
Component: Widget: GtkFontChooser
3.2.x
Other Linux
: Normal normal
: ---
Assigned To: gtk-bugs
gtk-bugs
: 677082 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2011-12-07 01:05 UTC by mlambda
Modified: 2014-08-15 18:59 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description mlambda 2011-12-07 01:05:39 UTC 
I'm using Gnome terminal 3.0.1 under Linux Mint 12 Gnome and would like to change the font size of the default profile to 11.5, but only integer values are allowed. With Gnome terminal 2.32.1 under Ubuntu 11.04 the font size can be changed to arbitrary floating point values without any problems. This is necessary as I would like to use the "Consolas" font which is too small in size 11 pt and too big in size 12 pt.
Comment 1 Christian Persch 2011-12-07 12:04:26 UTC 
-> gtk+

The new gtk font chooser doesn't allow to select non-integer font sizes.
Comment 2 mlambda 2011-12-07 12:20:31 UTC 
Is there any way to change the font size manually in some configuration file as a workaround?
Comment 3 Nikolaus Waxweiler 2012-06-27 14:22:31 UTC 
Confirmed in GTK+ 3.4.x on Ubuntu 12.04. Please add support for floating-point point sizes!
Comment 4 Jean-François Fortin Tam 2014-03-03 03:38:56 UTC 
*** Bug 677082 has been marked as a duplicate of this bug. ***
Comment 5 Jean-François Fortin Tam 2014-03-03 03:43:57 UTC 
For the record, this is still relevant with the new font chooser dialog that appeared sometime around 3.6 (I just tested now).
Comment 6 Matthias Clasen 2014-03-03 19:27:43 UTC 
I wouldn't be opposed to this. A patch would certainly help move things along.