Include a button and shortcut to reset to original font size

zipzob / eclipse-fonts

Automatically exported from code.google.com/p/eclipse-fonts

0 stars 1 forks source link

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

It would be nice if the plugin had a button and shortcut to reset to original 
font size.

Original issue reported on code.google.com by akie...@ciandt.com on 28 Aug 2014 at 12:25

GoogleCodeExporter commented 9 years ago

I agree, I think it is fundamental to return to the default state without goint 
trough the whole preferences menu.

Original comment by gabriel....@gmail.com on 24 Nov 2014 at 10:50