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 783184 - Tweak Tool doesn't handle changing its own Interface Font Size well
Tweak Tool doesn't handle changing its own Interface Font Size well
Status: RESOLVED OBSOLETE
Product: gnome-tweak-tool
Classification: Applications
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Tweak Tool maintainer(s)
GNOME Tweak Tool maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2017-05-29 03:33 UTC by Jeremy Bicha
Modified: 2018-01-24 15:22 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Jeremy Bicha 2017-05-29 03:33:41 UTC
Open Tweak Tool.
Switch to the Fonts panel.
Click on the Interface Font and increase it to like 16 or 20.
Click Select.

Tweak Tool starts acting strangely with the font size changing while the cursor hovers over text.

Workaround: Close Tweak Tool and reopen it after changing the Interface font.

Tweak Tool 3.24.0 on Ubuntu GNOME 17.04
Comment 1 GNOME Infrastructure Team 2018-01-24 15:22:24 UTC
-- GitLab Migration Automatic Message --

This bug has been migrated to GNOME's GitLab instance and has been closed from further activity.

You can subscribe and participate further through the new bug through this link to our GitLab instance: https://gitlab.gnome.org/GNOME/gnome-tweaks/issues/93.