More tools RoboFont › Forums › Help / General › More tools This topic contains 6 replies, has 3 voices, and was last updated by frederik 2 years, 9 months ago. Viewing 7 posts - 1 through 7 (of 7 total) Author Posts November 22, 2012 at 15:57 #5270 BasParticipant 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 attached files. November 22, 2012 at 17:12 #5272 frederikKeymaster 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 BasParticipant Ahhhh… totally missed that. Thanks. (btw. excellent tool: worth a native function ;-) November 30, 2012 at 09:28 #5283 JBLParticipant By the way, how can the user REMOVE tools? :) November 30, 2012 at 09:40 #5284 frederikKeymaster double click the extension file again to de-install see http://doc.robofont.com/extensions/installing-extensions/ December 3, 2012 at 10:38 #5285 JBLParticipant Sorry, I mean, uninstall tools like this one: https://github.com/klaavo/scalingEditTool December 3, 2012 at 11:40 #5286 frederikKeymaster 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.