Community
Participate
Working Groups
per bug 320616, we now have a win7 jface fonts file. We specify "Consolas" as the default jface text font (see [1]). The font definition in the themes extension point in org.eclipse.ui.workbench.texteditor should specify this same font when os="windows7" [1] (from MS Consolas font pack) Consolas is intended for use in programming environments and other circumstances where a monospaced font is specified. All characters have the same width, like old typewriters, making it a good choice for personal and business correspondence. Optimizing the font specifically for ClearType allowed a design with proportions closer to normal text than traditional monospaced fonts like Courier. This allows for more comfortable reading of extended text on-screen.
We can't fix this right now, see bug 324882. After that, the fix is to add: <fontValue os="win32" osName="Windows 7" value="Consolas-regular-10"> </fontValue>
*** Bug 346374 has been marked as a duplicate of this bug. ***
Since all pre-Win7 OSes are out of support, we could safely change the default for win32 to Consolas-regular-10 now. But the right solution is to remove the platform-specific font definitions and use an AbstractPreferenceInitializer to set the default value for the blockSelectionModeFont to the default value of JFaceResources.TEXT_FONT.
(In reply to Markus Keller from comment #3) > Since all pre-Win7 OSes are out of support, we could safely change the > default for win32 to Consolas-regular-10 now. Fixed with http://git.eclipse.org/c/platform/eclipse.platform.text.git/commit/?id=579ff36747d2c917fc9edc055a8ce753284c2f4c > But the right solution is to remove the platform-specific font definitions > and use an AbstractPreferenceInitializer to set the default value for the > blockSelectionModeFont to the default value of JFaceResources.TEXT_FONT. Keeping the bug open for that.
(In reply to Markus Keller from comment #4) > > But the right solution is to remove the platform-specific font definitions > > and use an AbstractPreferenceInitializer to set the default value for the > > blockSelectionModeFont to the default value of JFaceResources.TEXT_FONT. > > Keeping the bug open for that. Filed bug 492247 for that.