font size of tags plugin dialog
Submitted by on Thursday, 10 May, 2012 - 18:04
Hi,
I used to have and use quite and old release of JEdit (4.2.0)
I am trying now latest 4.5.3.
I am not satisfied with the font size of tags plugin dialog - it is to much large
in my feeling. In the previous JEdit I used (4.2) It was ok.
Is there a way to make this font smaller ?
rgs,
Kevin
I used to have and use quite and old release of JEdit (4.2.0)
I am trying now latest 4.5.3.
I am not satisfied with the font size of tags plugin dialog - it is to much large
in my feeling. In the previous JEdit I used (4.2) It was ok.
Is there a way to make this font smaller ?
rgs,
Kevin
