Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Newcomers » Newcomers » Why is font size do difficult? (please restrict to Windows)
Why is font size do difficult? (please restrict to Windows) [message #1855917] Wed, 09 November 2022 16:38 Go to next message
Alex Mising name is currently offline Alex Mising nameFriend
Messages: 149
Registered: March 2010
Senior Member
EDIT: Posted thread on github, at: https://github.com/eclipse-platform/.github/discussions/76

Hello,

Due to my laptop's resolution, I need to increase the font size. While I can easily do that for some parts of Eclipse, it seems impossible for the project explorer view.

I have searched for resources and found:

- https://riptutorial.com/eclipse/example/26874/how-to-configure-the-font-size-of-views-in-eclipse-on-linux
- https://stackoverflow.com/questions/3124629/how-can-i-configure-the-font-size-for-the-tree-item-in-the-package-explorer-in-e
- https://stackoverflow.com/questions/4466247/eclipse-changing-font-size-in-project-package-explorer
- https://stackoverflow.com/questions/45652472/how-to-increase-font-of-menu-bar-in-eclipse

My first observation was that there seems to be a platform-specific aspect. I am on Windows so need something that works there.

The second thing is: why is this so hard? I have tried editing the CSS file "e4-dark_win.css" since I use the dark theme and managed to change some parts with:

.MPart Tree {
    font-size: 12;
}


This made the problem view and parts of the package explorer bigger, but not all of the content gets the font applied. For example, the "JRE System Library" and "Maven dependencies" entries use the bigger font I specified, but the regular folders/files are still shown with the original small font. I think that everything that has an annotation on its icon from source control (git) ignore my font setting...

What can I do to fix that?

I'm a bit surprised that this is so difficult...

[Updated on: Sat, 12 November 2022 11:55]

Report message to a moderator

Re: Why is font size do difficult? (please restrict to Windows) [message #1855919 is a reply to message #1855917] Wed, 09 November 2022 18:30 Go to previous message
Ed Merks is currently offline Ed MerksFriend
Messages: 33133
Registered: July 2009
Senior Member
I would suggestion starting a discussion here because more of the committers working on the project are likely to see it there:

https://github.com/eclipse-platform/.github/discussions


Ed Merks
Professional Support: https://www.macromodeling.com/
Previous Topic:Marketplace installed but not available
Next Topic:JavaFX Application cannot resolve
Goto Forum:
  


Current Time: Thu Apr 18 00:04:27 GMT 2024

Powered by FUDForum. Page generated in 0.03007 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top