/usr/share/pyshared/ninja_ide/gui/menus/menu_plugins.py is in ninja-ide 2.3-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | # -*- coding: utf-8 -*-
#
# This file is part of NINJA-IDE (http://ninja-ide.org).
#
# NINJA-IDE is free software; you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation; either version 3 of the License, or
# any later version.
#
# NINJA-IDE is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with NINJA-IDE; If not, see <http://www.gnu.org/licenses/>.
from __future__ import absolute_import
from PyQt4.QtCore import QObject
from PyQt4.QtCore import SIGNAL
from ninja_ide.gui import central_widget
from ninja_ide.gui.dialogs import plugins_manager
from ninja_ide.gui.dialogs import themes_manager
from ninja_ide.gui.dialogs import language_manager
class MenuPlugins(QObject):
def __init__(self, menuPlugins):
QObject.__init__(self)
manageAction = menuPlugins.addAction(self.tr("Manage Plugins"))
skinsAction = menuPlugins.addAction(self.tr("Editor Schemes"))
languagesAction = menuPlugins.addAction(self.tr("Languages Manager"))
menuPlugins.addSeparator()
self.connect(manageAction, SIGNAL("triggered()"), self._show_manager)
self.connect(skinsAction, SIGNAL("triggered()"), self._show_themes)
self.connect(languagesAction, SIGNAL("triggered()"),
self._show_languages)
def _show_manager(self):
manager = plugins_manager.PluginsManagerWidget(
central_widget.CentralWidget())
manager.exec_()
if manager._requirements:
d = plugins_manager.DependenciesHelpDialog(manager._requirements)
d.exec_()
def _show_languages(self):
manager = language_manager.LanguagesManagerWidget(
central_widget.CentralWidget())
manager.show()
def _show_themes(self):
manager = themes_manager.ThemesManagerWidget(
central_widget.CentralWidget())
manager.show()
|