gnome-shell doesn't respect user font settings
Bug #657227 reported by
Delan Azabani
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
GNOME Shell |
Unknown
|
Medium
|
|||
gnome-shell (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
gnome-shell always seems to be using DejaVu Sans, bold, at a particular size, for the shell top bar, and DejaVu Sans, regular weight, at a smaller size, for the 'activities' panel. If the user sets a different font, however, nothing changes in gnome-shell as the font settings seem to be hard-coded.
affects: | ubuntu → gnome-shell (Ubuntu) |
Changed in gnome-shell: | |
importance: | Unknown → Medium |
status: | Unknown → New |
Changed in gnome-shell: | |
status: | New → Unknown |
To post a comment you must log in.
Fixed in GNOME 3.0 final.