def start_plugin(self, window):
try:
timer = Timer(int(self.round_timer))
except:
timer = Timer(DEFAULT_TIMER)
if self.ui != None:
self.ui.re_initialize(timer)
else:
self.ui = UserInterface(timer, window)
def enter_callback(self, widget, entry_commands, entry_timer):
self.commands = entry_commands.get_text()
self.round_timer = entry_timer.get_text()
self.configure_dialog.hide()
#Refresh monitor commands
if self.has_monitor():
self.monitor.commands = self.commands
#Refresh Ui
try:
timer = Timer(int(self.round_timer))
except:
timer = Timer(DEFAULT_TIMER)
if self.ui != None:
self.ui.re_initialize(timer)
else:
self.ui = UserInterface(timer, window)
return True
class DojoToolsGedit(gedit.Plugin):
def __init__(self):
gedit.Plugin.__init__(self)
#Init for Ui knows itself
self.ui = None
self._instances = {}
def activate(self, window):
self._instances[window] = DojoToolsGeditHelper(self, window)
def start_plugin(self, window):
try:
timer = Timer(int(self.round_timer))
except:
timer = Timer(DEFAULT_TIMER)
if self.ui != None:
self.ui.re_initialize(timer)
else:
self.ui = UserInterface(timer, window)
def deactivate(self, window):
self.ui.remove_output()
self._instances[window].deactivate()
del self._instances[window]
def update_ui(self, window):
if not self.has_monitor() or not self.has_document():
self.create_monitor(window)
self._instances[window].update_ui()
def is_configurable(self):
return True
def enter_callback(self, widget, entry_commands, entry_timer):
self.commands = entry_commands.get_text()
self.round_timer = entry_timer.get_text()
self.configure_dialog.hide()
#Refresh monitor commands
if self.has_monitor():
self.monitor.commands = self.commands
#Refresh Ui
try:
timer = Timer(int(self.round_timer))
except:
timer = Timer(DEFAULT_TIMER)
if self.ui != None:
self.ui.re_initialize(timer)
else:
self.ui = UserInterface(timer, window)
return True
def create_configure_dialog(self):
self.configure_dialog = gtk.Dialog('Dojotools configuration')
self.configure_dialog.set_default_size(300, 100)
#entry comands - use text default ?
entry_commands = gtk.Entry()
if not self.has_commands():
entry_commands.set_text("Commands to execute")
else:
entry_commands.set_text(self.commands)
#entry_timer - use text default ?
entry_timer = gtk.Entry()
if not self.has_round_timer():
entry_timer.set_text("Time in seconds, default is 300")
else:
entry_timer.set_text(self.round_timer)
#Gabriel se metendo aqui e botando um botao de OK para ativar as coisas
ok_button_box = gtk.HBox(False,0)
ok_button = gtk.Button('OK')
ok_button.connect("clicked", self.enter_callback, entry_commands, entry_timer)
ok_button_box.pack_start(ok_button)
ok_button_align = gtk.Alignment(0.5,0,0,0)
ok_button_align.add(ok_button_box)
self.configure_dialog.vbox.pack_start(entry_commands, True, True, 0)
self.configure_dialog.vbox.pack_start(entry_timer, True, True, 0)
self.configure_dialog.vbox.pack_start(ok_button_align, True, True, 0)
self.configure_dialog.show_all()
return self.configure_dialog
def has_monitor(self):
return hasattr(self, 'monitor')
def has_document(self):
return hasattr(self, 'document')
def has_round_timer(self):
return hasattr(self, 'round_timer')
def has_commands(self):
return hasattr(self, 'commands')
def create_monitor(self, window):
self.get_attributes_to_monitor(window)
if self.has_commands() and self.has_round_timer() and self.has_document():
self.start_plugin(window)
self.monitor = Monitor(
ui = self.ui,
directory = self.directory,
commands = self.commands,
patterns_file = self.patterns_file,
commit = False,
)
return self.monitor
def get_attributes_to_monitor(self, window):
documents = window.get_documents()
for document in documents:
if document.get_uri():
self.document = document.get_uri().strip('file://')
self.directory = '/' + self.document.rpartition('/')[0] + '/'
self.patterns_file = self.directory + '.ignore'
class DojoToolsGedit(gedit.Plugin):
def __init__(self):
gedit.Plugin.__init__(self)
#Init for Ui knows itself
self.ui = None
self._instances = {}
def activate(self, window):
self._instances[window] = DojoToolsGeditHelper(self, window)
def start_plugin(self, window):
try:
timer = Timer(int(self.round_timer))
except:
timer = Timer(DEFAULT_TIMER)
if self.ui != None:
self.ui.re_initialize(timer)
else:
self.ui = UserInterface(timer, window)
def deactivate(self, window):
if self.ui is not None:
self.ui.remove_output()
self.ui.timer.pause()
self._instances[window].deactivate()
del self._instances[window]
def update_ui(self, window):
if not self.has_monitor() or not self.has_document():
self.create_monitor(window)
self._instances[window].update_ui()
def is_configurable(self):
return True
def enter_callback(self, widget, entry_commands, entry_timer):
return enter_callback_ui(self, widget, entry_commands, entry_timer, DEFAULT_TIMER)
def create_configure_dialog(self):
return window_configure_dialog(self)
def has_monitor(self):
return hasattr(self, 'monitor')
def has_document(self):
return hasattr(self, 'document')
def has_round_timer(self):
return hasattr(self, 'round_timer')
def has_commands(self):
return hasattr(self, 'commands')
def create_monitor(self, window):
self.get_attributes_to_monitor(window)
if self.has_commands() and self.has_round_timer() and self.has_document():
self.start_plugin(window)
self.monitor = Monitor(
ui = self.ui,
directory = self.directory,
commands = self.commands,
patterns_file = self.patterns_file,
commit = False,
)
return self.monitor
def get_attributes_to_monitor(self, window):
documents = window.get_documents()
for document in documents:
if document.get_uri():
self.document = document.get_uri().strip('file://')
self.directory = '/' + self.document.rpartition('/')[0] + '/'
self.patterns_file = self.directory + '.ignore'
