Home Download Buy Blog Forum Support

Font Size Resizing

Font Size Resizing

Postby talsit on Fri Apr 04, 2008 2:47 pm

Sometimes you need to temporarily change the font size, especially with Japanese text (or any other text too). The standard keys CTRL+ / CTRL- / CTRL mouse wheel would be nice.
talsit
 
Posts: 6
Joined: Fri Apr 04, 2008 2:44 pm

Re: Font Size Resizing

Postby jps on Fri Apr 04, 2008 2:55 pm

Via the API, you can get the font via view.options().get('font') and set it via view.options().set('font', 'Courier New 12').

It'd be fairly straightforward to write a plugin that gets the current font, parses it for the font size, and then sets it again with a smaller or larger size. I'll add it to the todo list unless someone else gets around to it first.
jps
Site Admin
 
Posts: 3067
Joined: Wed Mar 19, 2008 12:33 pm

Re: Font Size Resizing

Postby talsit on Fri Apr 04, 2008 3:20 pm

Dammit Jon, do you sleep?!
You took a whole 8mins to reply!
talsit
 
Posts: 6
Joined: Fri Apr 04, 2008 2:44 pm

Re: Font Size Resizing

Postby talsit on Fri Apr 04, 2008 3:54 pm

talsit
 
Posts: 6
Joined: Fri Apr 04, 2008 2:44 pm

Re: Font Size Resizing

Postby jps on Fri Apr 04, 2008 10:48 pm

Excellent!
jps
Site Admin
 
Posts: 3067
Joined: Wed Mar 19, 2008 12:33 pm


Return to Ideas and Feature Requests

Who is online

Users browsing this forum: Exabot [Bot] and 7 guests