Community
Participate
Working Groups
I20090601-2000 + fix for bug 278826 The block selection font size is only honored when the font is changed while an editor is in block selection mode. Otherwise, block selection always uses the font size of the normal Text Font. I don't think it's a good strategy to keep the font size of the Text Font. Different fonts can have quite different visual sizes, so it can be necessary for the user to have the possibility to use different sizes. It would be OK for me to take over the size as long as the block selection font has not been set explicitly.
We should completely remove the font-adjustment smartness so that people get the block selection font that has been chosen. User's will quickly see if the font size doesn't match and can then adjust it. Having different font sizes for different editors plus wanting to use block selection in all of them is a negligible scenario.
I assume the fix is trivial enough to put into 3.5.1.
I agree - font size adaption would be nice if it would work reliably. However, the font size value has little to do with the font size perceived by the user.
Created attachment 155152 [details] Patch against AbstractTextEditor.java R1.309 Fixed in HEAD >= 2010 together with bug 278817. The attached patch is the same code as released to HEAD, but against the R3_5_1 tag of AbstractTextEditor.java (R1.309). Dani, there is no R3_5_maintenance branch of o.e.ui.workbench.texteditor yet. I can try to do the branching, but would really prefer if you did it in order to have everything in place. Note that the patch also includes the fix for bug 278817.
Leaving as ASSIGNED until fixed on the 3.5.x branch.
Thanks Tom and a Happy New Year to you! Committed patch to R3_5_maintenance and released to map file.
Thanks Dani... the same to you and the rest at Zurich Lab.
Verified for 3.5.2 with build M20100120-0800.