コード例 #1
0
ファイル: plugins_zoom.py プロジェクト: stefanmaar/psysmon
 def activate(self):
     ''' Activate the plugin.
     '''
     InteractivePlugin.activate(self)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('"-"',),
                                               action = self.parent.growTimePeriod)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_SHIFT', '"-"'),
                                               action = self.parent.growTimePeriod,
                                               action_kwargs = {'ratio': 25})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_COMMAND', '"-"'),
                                               action = self.parent.growTimePeriod,
                                               action_kwargs = {'ratio': 10})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_ALT', '"-"'),
                                               action = self.parent.growTimePeriod,
                                               action_kwargs = {'ratio': 1})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('"+"',),
                                               action = self.parent.shrinkTimePeriod)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_SHIFT', '"+"'),
                                               action = self.parent.shrinkTimePeriod,
                                               action_kwargs = {'ratio': 25})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_COMMAND', '"+"'),
                                               action = self.parent.shrinkTimePeriod,
                                               action_kwargs = {'ratio': 10})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_ALT', '"+"'),
                                               action = self.parent.shrinkTimePeriod,
                                               action_kwargs = {'ratio': 1})
コード例 #2
0
 def activate(self):
     ''' Extend the Plugin activate method.
     '''
     if self.selected_catalog_name is None:
         self.logger.info('You have to select a pick catalog first.')
     else:
         InteractivePlugin.activate(self)
         self.load_picks()
         self.add_pick_lines()
コード例 #3
0
 def activate(self):
     ''' Activate the plugin.
     '''
     selected_event_info = self.parent.get_shared_info(
         origin_rid=self.parent.collection_node.rid + '/plugin/show_events',
         name='selected_event')
     if selected_event_info:
         if len(selected_event_info) > 1:
             raise RuntimeError(
                 "More than one selected event returned. Don't know which one to use."
             )
         InteractivePlugin.activate(self)
     else:
         self.logger.info(
             "No selected event found. Can't activate the plugin.")
コード例 #4
0
    def activate(self):
        ''' Extend the plugin activate method.
        '''
        self.logger.debug("Activating the create event plugin.")
        InteractivePlugin.activate(self)

        if not self.selected_catalog_name:
            catalog_names = self.library.get_catalogs_in_db(self.parent.project)
            self.pref_manager.set_limit('event_catalog', catalog_names)
            if catalog_names:
                self.pref_manager.set_value('event_catalog', catalog_names[0])

        # Load the event catalog.
        self.on_select_catalog()

        # Set the event_type.
        self.on_select_default_event_type()
コード例 #5
0
 def activate(self):
     ''' Activate the plugin.
     '''
     InteractivePlugin.activate(self)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_DOWN',),
                                               action = self.parent.displayManager.show_next_station)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_UP',),
                                               action = self.parent.displayManager.show_prev_station)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_RIGHT',),
                                               action = self.parent.advanceTime)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_SHIFT', 'WXK_RIGHT'),
                                               action = self.parent.advanceTimePercentage,
                                               action_kwargs = {'step': 25})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_COMMAND', 'WXK_RIGHT'),
                                               action = self.parent.advanceTimePercentage,
                                               action_kwargs = {'step': 10})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_ALT', 'WXK_RIGHT'),
                                               action = self.parent.advanceTimePercentage,
                                               action_kwargs = {'step': 1})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_LEFT',),
                                               action = self.parent.decreaseTime)
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_SHIFT', 'WXK_LEFT'),
                                               action = self.parent.decreaseTimePercentage,
                                               action_kwargs = {'step': 25})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_COMMAND', 'WXK_LEFT'),
                                               action = self.parent.decreaseTimePercentage,
                                               action_kwargs = {'step': 10})
     self.parent.shortcut_manager.add_shortcut(origin_rid = self.rid,
                                               key_combination = ('WXK_ALT', 'WXK_LEFT'),
                                               action = self.parent.decreaseTimePercentage,
                                               action_kwargs = {'step': 1})