eclipse-platform / eclipse.platform.ui

Eclipse Platform
https://projects.eclipse.org/projects/eclipse.platform
Eclipse Public License 2.0
71 stars 155 forks source link

Impossible to change default text font #1930

Open vkrevs opened 1 month ago

vkrevs commented 1 month ago

Steps to reproduce

From a fresh installation and clean workspace:

Clicking on "Restore Defaults" and selecting the font I want results in identical behavior.

I tried to edit org.eclipse.ui.workbench.prefs and replace references to Cascadia Code with another font. Once Eclipse starts, it ignores these and forces Cascadia Code again.

I searched under $HOME for any files containing "Cascadia" - only org.eclipse.ui.workbench.prefs contains references to it.

dconf dump / | grep -i cascadia results in nothing. So where does Eclipse pick up the preference for Cascadia Code from?

I expected: My selected font to remain selected.

Copies of ECLIPSE_HOME/configuration and /.metadata are attached. .metadata.tar.gz configuration.tar.gz

Tested under this environment:

vkrevs commented 1 month ago

https://bugs.eclipse.org/bugs/show_bug.cgi?id=569961 seems similar, except in my case everything happens with the default colour and font theme, instead of reduced palette one.