GNOME Bugzilla – Bug 346777
Cannot change the editor font
Last modified: 2008-11-23 11:55:48 UTC
Please describe the problem: In the preferences dialog, other font choies do not lead to other fonts in the editor view. Size can be changes, but the font is always some kind of courier. Steps to reproduce: 1. 2. 3. Actual results: Expected results: Does this happen every time? yes Other information: The editor component is scintilla.
I see this too. If I change the font in the Scintilla Fonts and Colors dialog, then source files including .c and .h files are still displayed in the default monospace font. Strangely, other files (such as README or configure.in) *are* displayed in the font I selected.
I experimented with this a bit more. If I change the font *size*, then all source files including .c and .h files are displayed in the new size. But changes to the typeface don't affect .c and .h files.
Note that font changes work just fine in the GtkSourceView editor; this problem occurs only with Scintilla.
Created attachment 78504 [details] [review] Patch correcting the problem for C++ file I investigated this bug this morning. It is caused by *.properties files hard-coding some values (like font, colors, ...) for some languages, including C++. This patch change the C++ style to use the correct value (inherited from style.*.32) but it does not correct other languages supported by scintilla component. It should probably rewritten by passing on each and every language and ensuring that the style points to the correct default values.
Are you sure the patch is right? It seems to comment out all they styling properties.
Created attachment 102563 [details] [review] patch i've made
I think this may help because style.properties did loaded on the startup process and style.properties seems overwrite the style settings in the ~/.anjuta so i delete the style settings in the data/properties/style.properties file, and it works here
*** This bug has been marked as a duplicate of 312660 ***