Skip to content
  • Naba Kumar's avatar
    Moved plugins and shortcuts settings inside General preferences page. Move · 76a2c155
    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