예제 #1
0
    def __init__(self):
        View.__init__(self)
        self.notebook = self['client_notebook']

        for i in range(self.notebook.get_n_pages()):
            child = self.notebook.get_nth_page(i)
            tab_label = self.notebook.get_tab_label(child)
            tab_label_text = tab_label.get_text()
            self.notebook.set_tab_label(child, create_tab_header_label(tab_label_text, self.icons))

        self.refresh_btn = self['refresh_conf_btn']
        self.refresh_btn.set_image(create_button_label(constants.BUTTON_REFR))
예제 #2
0
 def prepare_the_labels(self):
     for notebook_name in self.notebook_names:
         notebook = self[notebook_name]
         for i in xrange(notebook.get_n_pages()):
             child = notebook.get_nth_page(i)
             tab_label = notebook.get_tab_label(child)
             if global_gui_config.get_config_value("USE_ICONS_AS_TAB_LABELS", True):
                 tab_label_text = tab_label.get_text()
                 notebook.set_tab_label(child, gui_helper_label.create_tab_header_label(tab_label_text, self.icons))
             else:
                 tab_label.set_angle(270)
             notebook.set_tab_reorderable(child, True)
             notebook.set_tab_detachable(child, True)
예제 #3
0
    def rotate_and_detach_tab_labels(self):
        """Rotates tab labels of a given notebook by 90 degrees and makes them detachable.

        :param notebook: GTK Notebook container, whose tab labels are to be rotated and made detachable
        """
        icons = {'Libraries': constants.SIGN_LIB, 'States Tree': constants.ICON_TREE,
                 'Global Variables': constants.ICON_GLOB, 'Modification History': constants.ICON_HIST,
                 'Execution History': constants.ICON_EHIST, 'network': constants.ICON_NET}
        for notebook in self.left_bar_notebooks:
            for i in range(notebook.get_n_pages()):
                child = notebook.get_nth_page(i)
                tab_label = notebook.get_tab_label(child)
                tab_label_text = tab_label.get_text()
                notebook.set_tab_label(child, gui_helper_label.create_tab_header_label(tab_label_text, icons))
                notebook.set_tab_reorderable(child, True)
                notebook.set_tab_detachable(child, True)
예제 #4
0
def main_window_setup(main_window_controller):
    """
    Launches the model-view-controller of monitoring plugin. Called in controllers/main_window.py
    :param main_window_controller:
    :return:
    """
    from monitoring.views.server_connection import ServerView
    from monitoring.views.client_connection import ClientView
    from monitoring.controllers.server_controller import ServerController
    from monitoring.controllers.client_controller import ClientController
    from monitoring.model.network_model import network_manager_model
    from rafcon.gui.helpers.label import create_tab_header_label
    import constants

    icon = {"network": constants.ICON_NET}
    monitoring_plugin_eventbox = create_tab_header_label("network", icon)

    if global_network_config.get_config_value("SERVER"):
        main_window_controller.view.state_machine_server = ServerView()
        main_window_controller.view.state_machine_server.show()
        main_window_controller.view['lower_notebook'].append_page(
            main_window_controller.view.state_machine_server.get_top_widget(),
            monitoring_plugin_eventbox)
        monitoring_manager_ctrl = ServerController(
            network_manager_model,
            main_window_controller.view.state_machine_server)
    else:
        main_window_controller.view.state_machine_client = ClientView()
        main_window_controller.view.state_machine_client.show()
        main_window_controller.view['lower_notebook'].append_page(
            main_window_controller.view.state_machine_client.get_top_widget(),
            monitoring_plugin_eventbox)
        monitoring_manager_ctrl = ClientController(
            network_manager_model,
            main_window_controller.view.state_machine_client)
    main_window_controller.add_controller('monitoring_manager_ctrl',
                                          monitoring_manager_ctrl)