-
Naba Kumar authored
* plugins/document-manager/anjuta-document-manager.ui: * plugins/language-support-cpp-java/anjuta-language-support-cpp-java.ui: * src/action-callbacks.c: * src/action-callbacks.h: * src/anjuta-actions.h: * src/anjuta-app.c: (anjuta_app_instance_init), (anjuta_app_install_preferences): * src/anjuta.glade: * src/anjuta.ui: Moved plugins and shortcuts settings inside General preferences page. Move preferences menu from Settings to Edit submenu. And got rid of Settings submenu. svn path=/trunk/; revision=3037
76a2c155