More tools
-
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)
-
If a tool is activated from the scripting window and not as an extension the easiest thing todo is to restart :)
-
Sorry, I mean, uninstall tools like this one: https://github.com/klaavo/scalingEditTool
-
double click the extension file again to de-install see http://doc.robofont.com/extensions/installing-extensions/
-
By the way, how can the user REMOVE tools? :)
-
Ahhhh… totally missed that. Thanks.
(btw. excellent tool: worth a native function ;-)
-
see http://doc.robofont.com/documentation/workspace/preferences/misc/
and set the "Maximum Tools In Toolbar" to a preferred value.
