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 |
Revision history for this message
| Maia Everett (linneris) wrote | #1 |
| Changed in gnome-shell (Ubuntu): | |
| status: | New → Fix Released |
To post a comment you must log in.
Fixed in GNOME 3.0 final.