ninja-ide/ninja-ide — pull request #106 by emilioramirez (2011-12-09 20:37:44+00:00)
Title: Give a buttom in toolbar custom preferences for default toolbar items configurations

check for the place of the buttom, is right?