More tools

This topic contains 6 replies, has 3 voices, and was last updated by frederik 5 months, 3 weeks ago.

Viewing 7 posts - 1 through 7 (of 7 total)

Author

Posts
November 22, 2012 at 15:57 #5270

Bas
Member

With more and more good tools popping up, it’s annoying that the amount of directly viewable tools (Glyph window) is limited to 7. Can this be extended, or be more customizable?

(manual, local changes will be lost with the next update, so that’s not really an option)

Attachments:
You must be logged in to view attched files.

November 22, 2012 at 17:12 #5272

frederik
Member

see http://doc.robofont.com/documentation/workspace/preferences/misc/

and set the “Maximum Tools In Toolbar” to a preferred value.

November 22, 2012 at 19:12 #5273

Bas
Member

Ahhhh… totally missed that. Thanks.

(btw. excellent tool: worth a native function ;-)

November 30, 2012 at 09:28 #5283

JBL
Member

By the way, how can the user REMOVE tools? :)

November 30, 2012 at 09:40 #5284

frederik
Member

double click the extension file again to de-install see http://doc.robofont.com/extensions/installing-extensions/

December 3, 2012 at 10:38 #5285

JBL
Member

Sorry, I mean, uninstall tools like this one: https://github.com/klaavo/scalingEditTool

December 3, 2012 at 11:40 #5286

frederik
Member

If a tool is activated from the scripting window and not as an extension the easiest thing todo is to restart :)
Author

Posts

Viewing 7 posts - 1 through 7 (of 7 total)

You must be logged in to reply to this topic.