jEdit macro: Toggling between proportional and monospaced fonts
Here's a jEdit macro to toggle between a nice proportional font and a not-bad monospaced font:
I like jEdit's choice of macro language (Java). And you can assign a keyboard shortcut to any macro (I'm using F9).
![Fli139](http://farm3.static.flickr.com/2056/2319797643_5ecbdc2433_o.png)
if (jEdit.getProperty("view.font") == "Franklin Gothic Medium") {
jEdit.setIntegerProperty("view.fontsize", 19);
jEdit.setProperty("view.font", "DejaVu Sans Mono");
jEdit.propertiesChanged();
} else {
jEdit.setIntegerProperty("view.fontsize", 22);
jEdit.setProperty("view.font", "Franklin Gothic Medium");
jEdit.propertiesChanged();
}
I like jEdit's choice of macro language (Java). And you can assign a keyboard shortcut to any macro (I'm using F9).
![Fli139](http://farm3.static.flickr.com/2056/2319797643_5ecbdc2433_o.png)
![Fli13A](http://farm3.static.flickr.com/2021/2319798459_220c5e093b_o.png)
0 Comments:
Post a Comment
<< Home