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 703585 - Classic Mode: The bottom panel does not adjust its size when scaling text (large text: universal access)
Classic Mode: The bottom panel does not adjust its size when scaling text (la...
Status: RESOLVED FIXED
Product: gnome-shell
Classification: Core
Component: extensions
3.8.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
: 730079 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2013-07-04 05:30 UTC by Alejandro HC
Modified: 2015-06-19 21:57 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
window-list: Expand window buttons vertically (2.91 KB, patch)
2015-06-19 21:51 UTC, Florian Müllner 		committed Details | Review
window-list: Reposition on height changes (1.88 KB, patch)
2015-06-19 21:52 UTC, Florian Müllner 		committed Details | Review
window-list: Use font-relative sizes for width/height (1.16 KB, patch)
2015-06-19 21:53 UTC, Florian Müllner 		committed Details | Review

Description Alejandro HC 2013-07-04 05:30:10 UTC 
Gnome 3.8 (classic) - Fedora 19

Problem: 
By activating the "large text" in the settings menu of universal access, in Classic mode, the bottom panel does not adjust its size to properly display text.
This also happens to Resize text (increase or decrease size) from gnome-tweak-tool or use another theme in gnome-shell.
Besides the text seems to change from bold to normal. Resets when hovering over the menu text.

To reply you have to open the Gnome panel configuration and activate large text on universal access panel. Notice how the text grows in size in the same space (in the lower panel).
Also try the font menu in gnome-tweak-tool.
Comment 1 Christian Persch 2013-07-09 13:27:49 UTC 
Confirming. I changed fonts in gnome-tweak-tool, and the text only got the new font once I mouse-hovered over the panel items individually.

gnome-shell-3.8.3-3.fc19.i686
Comment 2 Florian Müllner 2015-02-27 20:55:10 UTC 
*** Bug 730079 has been marked as a duplicate of this bug. ***
Comment 3 Florian Müllner 2015-06-19 21:51:32 UTC 
Created attachment 305716 [details] [review]
window-list: Expand window buttons vertically

The window-list's fixed height currently allows us to get away without
expanding buttons, however this won't be the case anymore once we start
adapting the list with the text scaling. So fix up the code to do what
was always the intention anyway.
Comment 4 Florian Müllner 2015-06-19 21:52:11 UTC 
Created attachment 305717 [details] [review]
window-list: Reposition on height changes

The window list position depends on both the monitor geometry and the
list height, however changes to the latter are currently ignored. For
the time being this doesn't matter due to the list's fixed height, but
we are about to scale the list with the text, so reposition the list
on height changes.
Comment 5 Florian Müllner 2015-06-19 21:53:03 UTC 
Created attachment 305719 [details] [review]
window-list: Use font-relative sizes for width/height

Just like the top bar, the window list should scale according to
the font scaling factor, so convert the existing pixel sizes into
font-relative ones.
Comment 6 Florian Müllner 2015-06-19 21:57:30 UTC 
Attachment 305716 [details] pushed as b97c111 - window-list: Expand window buttons vertically
Attachment 305717 [details] pushed as 61ec98f - window-list: Reposition on height changes
Attachment 305719 [details] pushed as 85b7049 - window-list: Use font-relative sizes for width/height