search

zipzob / eclipse-fonts

Automatically exported from code.google.com/p/eclipse-fonts
0 stars 1 forks source link

Text editor block selection font should be changed, too #5

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Resize font size using the tool bar
2. Hit SHIFT-ALT-A to enter block selection mode

What is the expected output? 

  Block selection font should have the same size

What do you see instead?

  Block selection font is still at the default size

Original issue reported on code.google.com by thomas...@googlemail.com on 23 Jul 2011 at 3:48