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