|
From: Zaleski, M. \(M.E.\) <mza...@fo...> - 2005-03-24 16:21:54
|
On my copy of jEdit (4.2 pre15, yeah I know I should upgrade), in the Macros|Interface menu, there are "Increase font size" and "Decrease font size" menu items. If that is what you are looking for, just map keystrokes to them. --Matt > -----Original Message----- > From: jed...@li...=20 > [mailto:jed...@li...] On Behalf Of RR > Sent: Wednesday, March 23, 2005 9:15 PM > To: jed...@li... > Subject: [ jEdit-users ] Font macro question >=20 > I'd like to have a macro that changes the font of my buffer=20 > text. When I'm working from my laptop it's easier to read at=20 > size 14, and I often switch between laptop and desktop. My=20 > initial attempts with > textArea.setFont() have been unsuccessful, any suggestions? >=20 > Thanks, > -RR- >=20 |