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 706251 - setting the font to droid is not wholly accepted ?
setting the font to droid is not wholly accepted ?
Status: RESOLVED DUPLICATE of bug 688288
Product: gnome-shell
Classification: Core
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2013-08-18 15:44 UTC by dschinn1001
Modified: 2013-08-20 10:45 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description dschinn1001 2013-08-18 15:44:46 UTC 
it is no matter which font I choose in tweak-tools ... droid or monaco - it is not wholly accepted.

Because the settings change but in Desktop Menu of gnome the fonts stay the same as like default from beginning, in Desktop main Window of gnome (e.g. day, date and time) the fonts are NOT set to droid or monaco ???
Comment 1 dschinn1001 2013-08-18 15:45:49 UTC 
ah forgotten: here is Ubuntu 12.10 resp. pear OS 7.0.1 (freshly updated !) with gnome 3.8.0
Comment 2 André Klapper 2013-08-18 16:16:18 UTC 
Please provide exact steps to reproduce, so somebody else could also try.
Comment 3 dschinn1001 2013-08-18 16:30:05 UTC 
also I run program gnome-tweak-tools quite normal and set there font to 'droid' in all fields of 'fonts' with font-size '8' - then I leave tweak-tool and return to desktop.
all scripts are now appearing with 'droid' - even in menues of gnome - but not script of the main-desktop with main-desk-bar of gnome at top ? (where is displayed entry of "activities" - "running application here: chrome" - date and time - and on right side the desktop-tools for sound, bluetooth, network, battery and system-settings ...)

scripts of main-desktop of gnome remain in gnome-font, which were set by default from the beginning.
Comment 4 John Stowers 2013-08-20 10:32:30 UTC 
It sounds like you are talking about the font used by gnome-shell.

gnome-tweak-tool has no control over this, although IMO gnome-shell should respect these settings (or ship the user-theme extension by default)

--> reasigning to gnome-shell
Comment 5 Allan Day 2013-08-20 10:45:05 UTC 
Thanks for the bug report. This particular bug has already been reported into our bug tracking system, but please feel free to report any further bugs you find.

*** This bug has been marked as a duplicate of bug 688288 ***