Exemple #1
0
 def __init__(self, editor):
     Signal.__init__(self)
     self.__init_attributes(editor)
     from Feedback import Feedback
     Feedback(self, editor)
     from CursorReseter import Reseter
     Reseter(self, editor)
     from ViewUpdater import Updater
     Updater(self, editor)
     from TextInserter import Inserter
     Inserter(self, editor)
     from CommandExecutor import Executor
     Executor(self, editor)
     from BoundsExtractor import Extractor
     Extractor(self, editor)
     from NewWindowHandler import Handler
     Handler(self, editor)
     from GUI.Manager import Manager
     Manager(self, editor)
     from DatabaseMonitor import Monitor
     Monitor(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
     from DatabaseReader import Reader
     Reader(self, editor)
Exemple #2
0
	def __init__(self, editor):
		Signal.__init__(self)
		self.__init_attributes(editor)
		from GUI.Manager import Manager
		Manager(self, editor)
		from TriggerWidget import TriggerWidget
		self.set_data("TriggerWidget", TriggerWidget(editor))
		from TriggerHandler import Handler
		Handler(self, editor)
		from Positioner import Positioner
		Positioner(self, editor)
		from PropertiesUpdater import Updater
		Updater(self, editor)
		from FullViewHider import Hider
		Hider(self, editor)
		from FullViewActivator import Activator
		Activator(self, editor)
		from DatabaseReader import Reader
		Reader(self, editor)
		from DatabaseWriter import Writer
		Writer(self, editor)
		from DatabaseMonitor import Monitor
		Monitor(self, editor)
		from SyntaxThemeMonitor import Monitor
		Monitor(self, editor)
Exemple #3
0
 def __init__(self, editor):
     Signal.__init__(self)
     self.__init_attributes(editor)
     from GUI.Manager import Manager
     Manager(self, editor)
     from TextInserter import Inserter
     Inserter(self, editor)
     from ProcessCommunicator import Communicator
     Communicator(self, editor)
     from SuggestionProcessCommunicator import Communicator
     Communicator(self, editor)
     from TriggerMarker import Marker
     Marker(self, editor)
     from TriggerDetector import Detector
     Detector(self, editor)
     from IndexerProcessManager import Manager
     Manager(self, editor)
     from SuggestionProcessManager import Manager
     Manager(self, editor)
     from IndexRequester import Requester
     Requester(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
     from DatabaseReader import Reader
     Reader(self, editor)
     from DatabaseMonitor import Monitor
     Monitor(self, editor)
Exemple #4
0
 def __init__(self, editor):
     Signal.__init__(self)
     self.__init_attributes(editor)
     from Feedback import Feedback
     Feedback(self, editor)
     from GUI.Manager import Manager
     Manager(self, editor)
     from ThemeFileInstaller import Installer
     Installer(self, editor)
     from ThemeFileValidator import Validator
     Validator(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
     from DatabaseReader import Reader
     Reader(self, editor)
     from DatabaseMonitor import Monitor
     Monitor(self, editor)
     from ThemeRemover import Remover
     Remover(self, editor)
     from ThemeUpdater import Updater
     Updater(self, editor)
     from ThemeDispatcher import Dispatcher
     Dispatcher(self, editor)
     from ThemeFolderMonitor import Monitor
     Monitor(self, editor)
Exemple #5
0
 def __init__(self, editor):
     Signal.__init__(self)
     self.__init_attributes(editor)
     from GUI.Manager import Manager
     Manager(self, editor)
     from LineJumper import Jumper
     Jumper(self, editor)
     from Feedback import Feedback
     Feedback(self, editor)
     from Utils import create_bookmark_image
     create_bookmark_image(editor)
     from MarkAdder import Adder
     Adder(self, editor)
     from MarkRemover import Remover
     Remover(self, editor)
     from MarginDisplayer import Displayer
     Displayer(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
     from MarkReseter import Reseter
     Reseter(self, editor)
     from MarkUpdater import Updater
     Updater(self, editor)
     from Marker import Marker
     Marker(self, editor)
     from DatabaseReader import Reader
     Reader(self, editor)
Exemple #6
0
 def __init__(self, editor):
     Signal.__init__(self)
     from KeyboardHandler import Handler
     Handler(self, editor)
     from Switcher import Switcher
     Switcher(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
Exemple #7
0
 def __init__(self, editor):
     Signal.__init__(self)
     from Feedback import Feedback
     Feedback(self, editor)
     from LineJumper import Jumper
     Jumper(self, editor)
     from Checker import Checker
     Checker(self, editor)
     from ProcessCommunicator import Communicator
     Communicator(self, editor)
     from ExternalProcessStarter import Starter
     Starter(self, editor)
     from DatabaseReader import Reader
     Reader(self, editor)
     from DatabaseWriter import Writer
     Writer(self, editor)
     from DatabaseMonitor import Monitor
     Monitor(self, editor)