| Summary: | [block selection] specify a Windows Vista font value for org.eclipse.ui.workbench.texteditor.blockSelectionModeFont | ||||||
|---|---|---|---|---|---|---|---|
| Product: | [Eclipse Project] Platform | Reporter: | Michael Pellaton <michael.pellaton> | ||||
| Component: | Text | Assignee: | Platform-Text-Inbox <platform-text-inbox> | ||||
| Status: | CLOSED DUPLICATE | QA Contact: | |||||
| Severity: | normal | ||||||
| Priority: | P3 | CC: | daniel_megert, dh_tue, markus.kell.r, philippe.marschall | ||||
| Version: | 3.7 | ||||||
| Target Milestone: | --- | ||||||
| Hardware: | PC | ||||||
| OS: | Windows Vista | ||||||
| Whiteboard: | |||||||
| Attachments: |
|
||||||
|
Description
Michael Pellaton
Created attachment 196076 [details]
side-by-side comparison
There's a separate 'Text Editor Block Selection Font' for block selection so that one can work with a non-monospace font but have a monospace font when working in block selection mode. Out of the box they are supposed to be the same. (In reply to comment #2) I have not changed any font (reset disabled). However, the two fonts "text font" and "text editor block selection font" are not the same when in default. Is there an issue with the preference initializer or so? On Windows Vista the defaults I have are: Text Font: Consolas 10 Text Font Editor Block Selection Font: Courier New 10 (In reply to comment #4) > On Windows Vista the defaults I have are: > > Text Font: Consolas 10 > Text Font Editor Block Selection Font: Courier New 10 Is Consolas a monospace font? (In reply to comment #5) > (In reply to comment #4) > > On Windows Vista the defaults I have are: > > > > Text Font: Consolas 10 > > Text Font Editor Block Selection Font: Courier New 10 > > Is Consolas a monospace font? Yes it is, for details see here: http://www.microsoft.com/downloads/en/details.aspx?familyid=22e69ae4-7e40-4807-8a86-b3d36fab68d3&displaylang=en OK, if that's a monospace font then we should also use it for the block selection font. I am willing to try to fix the issue and provide a patch. However, some initial pointer where to start and what to look for would be very welcome. (In reply to comment #8) > I am willing to try to fix the issue and provide a patch. However, some initial > pointer where to start and what to look for would be very welcome. You should offer your help in bug 324882 which is a prerequisite of this one. I am missing the link between the two bugs. My naive view suggest to "just" set the default block selection font to the same value as the default text font. Because the default text font already has the desired value (Consolas 10). What's the point I am missing here? (In reply to comment #10) > I am missing the link between the two bugs. My naive view suggest to "just" set > the default block selection font to the same value as the default text font. > Because the default text font already has the desired value (Consolas 10). > What's the point I am missing here? At the JFace level a font can be different on each OS. However, block selection along with its font(s) is at the editor and workbench level where fonts are contributed via themes. Those themes e.g. allow to adjust to large fonts for accessibility if the OS's theme is changed outside Eclipse. *** This bug has been marked as a duplicate of bug 324810 *** |