ninja-ide/ninja-ide — pull request #1814 by 4544fa8d (2014-08-09 09:44:15+00:00)
Title: Fix for saving toolbar visibility settings to configuration file

Hello :)

This patch fixes saving toolbar visibility to configuration file.