def __init__(self):
View.__init__(self, parent='history_vbox')
Gtk.ScrolledWindow.__init__(self)
history_tree = ExecutionHistoryTreeView()
reload_button = Gtk.Button.new_with_label("Reload")
reload_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
clean_button = Gtk.Button.new_with_label("Clean")
clean_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
open_separately_button = Gtk.Button.new_with_label("Open externally")
open_separately_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
button_box = Gtk.Box.new(Gtk.Orientation.HORIZONTAL, 0)
button_box.get_style_context().add_class("widget-toolbar")
button_box.pack_end(reload_button, False, True, 0)
button_box.pack_end(clean_button, False, True, 0)
button_box.pack_end(open_separately_button, False, True, 0)
label.ellipsize_labels_recursively(button_box)
history_vbox = Gtk.Box.new(Gtk.Orientation.VERTICAL, 0)
history_vbox.pack_end(button_box, False, True, 0)
history_vbox.pack_end(self, True, True, 0)
self.add(history_tree)
self.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC)
self.show_all()
self['history_vbox'] = history_vbox
self['history_view'] = self
self['history_tree'] = history_tree
self['reload_button'] = reload_button
self['clean_button'] = clean_button
self['open_separately_button'] = open_separately_button
def __init__(self):
super().__init__(builder_filename=glade.get_glade_path(
'semantic_data_editor.glade'),
parent='semantic_data_vbox')
self.scrollbar_widget = self['semantic_data_scroller']
self['delete_entry'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['new_dict_entry'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['new_entry'].set_border_width(constants.BUTTON_BORDER_WIDTH)
tree_view = self["semantic_data_tree_view"]
# prepare tree view columns
key_renderer = Gtk.CellRendererText()
key_renderer.set_property('editable', True)
col = Gtk.TreeViewColumn('Key', key_renderer, text=self.KEY_STORAGE_ID)
tree_view.append_column(col)
value_renderer = Gtk.CellRendererText()
value_renderer.set_property('editable', True)
col = Gtk.TreeViewColumn('Value',
value_renderer,
text=self.VALUE_STORAGE_ID)
tree_view.append_column(col)
is_dict_renderer = Gtk.CellRendererText()
col = Gtk.TreeViewColumn('Is Dict',
is_dict_renderer,
text=self.IS_DICT_STORAGE_ID)
tree_view.append_column(col)
gui_helper_label.ellipsize_labels_recursively(
self['semantic_data_toolbar'])
def __init__(self):
View.__init__(self)
self._lock = threading.Lock()
######################################################
# Logging text view
######################################################
self.logging_console_view = LoggingConsoleView()
self['console'].pack_start(self.logging_console_view.get_top_widget(), True, True, 0)
self.logging_console_view.get_top_widget().show()
######################################################
# initial configuration of the console
######################################################
self['button_follow_logging'].set_active(global_gui_config.get_config_value('CONSOLE_FOLLOW_LOGGING', True))
self['button_show_verbose'].set_active(global_gui_config.get_config_value('LOGGING_SHOW_VERBOSE', True))
self['button_show_debug'].set_active(global_gui_config.get_config_value('LOGGING_SHOW_DEBUG', True))
self['button_show_info'].set_active(global_gui_config.get_config_value('LOGGING_SHOW_INFO', True))
self['button_show_warning'].set_active(global_gui_config.get_config_value('LOGGING_SHOW_WARNING', True))
self['button_show_error'].set_active(global_gui_config.get_config_value('LOGGING_SHOW_ERROR', True))
self['undock_console_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_UNDOCK))
self['undock_console_button'].set_tooltip_text("Undock debug console widget")
self['console_hide_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_DOWNA))
gui_helper_label.ellipsize_labels_recursively(self['debug_console_button_hbox'])
def __init__(self):
View.__init__(self)
self['new_global_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['delete_global_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['lock_global_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['unlock_global_variable_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self.scrollbar_widget = self['scroller']
label.ellipsize_labels_recursively(self['global_variables_toolbar'])
def __init__(self):
View.__init__(self)
self.data_flows_listView = StateDataFlowsListView()
self['data_flows_scroller'].add(self.data_flows_listView.get_top_widget())
self.data_flows_listView.scrollbar_widget = self['data_flows_scroller']
self['internal_d_checkbutton'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['connected_to_d_checkbutton'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['add_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
gui_helper_label.ellipsize_labels_recursively(self['data_flows_toolbar'])
def __init__(self):
super().__init__(builder_filename=glade.get_glade_path(
'global_variable_editor_widget.glade'),
parent='global_variable_vbox')
self['new_global_variable_button'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['delete_global_variable_button'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['lock_global_variable_button'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['unlock_global_variable_button'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self.scrollbar_widget = self['scroller']
label.ellipsize_labels_recursively(self['global_variables_toolbar'])
def __init__(self):
View.__init__(self)
Gtk.ScrolledWindow.__init__(self)
history_tree = HistoryTreeView()
history_tree.set_name('history_tree')
undo_button = Gtk.Button.new_with_label("Undo")
undo_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
redo_button = Gtk.Button.new_with_label("Redo")
redo_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
reset_button = Gtk.Button.new_with_label("Reset")
reset_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
branch_checkbox = Gtk.CheckButton.new_with_label("Branches")
branch_checkbox.set_tooltip_text('Show branches')
branch_checkbox.set_border_width(constants.BUTTON_BORDER_WIDTH)
branch_checkbox.get_style_context().add_class("secondary")
folded_checkbox = Gtk.CheckButton.new_with_label("Fold")
folded_checkbox.set_tooltip_text('Fold branches')
folded_checkbox.set_border_width(constants.BUTTON_BORDER_WIDTH)
folded_checkbox.get_style_context().add_class("secondary")
button_hbox = Gtk.Box.new(Gtk.Orientation.HORIZONTAL, 0)
button_hbox.get_style_context().add_class("widget-toolbar")
button_hbox.pack_end(folded_checkbox, False, True, 0)
button_hbox.pack_end(branch_checkbox, False, True, 0)
button_hbox.pack_end(reset_button, False, True, 0)
button_hbox.pack_end(redo_button, False, True, 0)
button_hbox.pack_end(undo_button, False, True, 0)
label.ellipsize_labels_recursively(button_hbox)
history_vbox = Gtk.Box.new(Gtk.Orientation.VERTICAL, 0)
history_vbox.pack_start(self, True, True, 0)
history_vbox.pack_start(button_hbox, False, True, 0)
self.add(history_tree)
self.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.AUTOMATIC)
self.show_all()
self['history_vbox'] = history_vbox
self['history_view'] = self
self['history_tree'] = history_tree
self['undo_button'] = undo_button
self['redo_button'] = redo_button
self['reset_button'] = reset_button
self['branch_checkbox'] = branch_checkbox
self['folded_checkbox'] = folded_checkbox
self.top = 'history_vbox'
def __init__(self):
super().__init__(parent='notification_bar')
self['notification_bar'] = self.notification_bar = Gtk.Revealer()
self.notification_bar.set_transition_type(Gtk.RevealerTransitionType.SLIDE_UP)
self.notification_bar.set_transition_duration(400)
self.info_bar = Gtk.InfoBar()
self.info_bar.set_show_close_button(True)
self.notification_bar.add(self.info_bar)
self._message_label = Gtk.Label(label="test")
content_area = self.info_bar.get_content_area()
content_area.add(self._message_label)
label.ellipsize_labels_recursively(content_area)
def __init__(self):
super().__init__(builder_filename=glade.get_glade_path(
'state_data_flows_widget.glade'),
parent='data_flows_container')
self.data_flows_listView = StateDataFlowsListView()
self['data_flows_scroller'].add(
self.data_flows_listView.get_parent_widget())
self.data_flows_listView.scrollbar_widget = self['data_flows_scroller']
self['internal_d_checkbutton'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['connected_to_d_checkbutton'].set_border_width(
constants.BUTTON_BORDER_WIDTH)
self['add_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
self['remove_d_button'].set_border_width(constants.BUTTON_BORDER_WIDTH)
gui_helper_label.ellipsize_labels_recursively(
self['data_flows_toolbar'])
def __init__(self):
super().__init__(builder_filename=glade.get_glade_path('main_window.glade'), parent='main_window')
if os.getenv("RAFCON_START_MINIMIZED", False):
self.get_parent_widget().iconify()
# Add gui components by removing their corresponding placeholders defined in the glade file first and then
# adding the widgets.
self.left_bar_notebooks = [self['upper_notebook'], self['lower_notebook']]
################################################
# Undock Buttons
################################################
self['undock_left_bar_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_UNDOCK))
self['undock_left_bar_button'].set_tooltip_text("Undock left side bar widget")
self['undock_right_bar_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_UNDOCK))
self['undock_right_bar_button'].set_tooltip_text("Undock right side bar widget")
self['collapse_tree_button'].set_image(gui_helper_label.create_button_label(constants.ICON_TREE_FOLD))
self['collapse_tree_button'].set_tooltip_text("Collapse tree of widget")
self['show_search_bar'].set_image(gui_helper_label.create_button_label(constants.BUTTON_SHOW_SEARCH_BAR))
self['show_search_bar'].set_tooltip_text("Show state machine search bar")
######################################################
# Library Tree
######################################################
self.library_tree = LibraryTreeView()
self.library_tree.show()
self['libraries_scrolledwindow'].add(self.library_tree)
######################################################
# Library Usages Tree
######################################################
self.library_usages_tree = LibraryTreeView()
self.library_usages_tree.show()
self['library_usages_scrolledwindow'].add(self.library_usages_tree)
######################################################
# State Icons
######################################################
self.state_icons = StateIconView()
self.state_icons.show()
self["state_icons_box"].pack_start(self.state_icons.get_parent_widget(), True, True, 0)
######################################################
# State Machine Tree
######################################################
self.state_machine_tree = StateMachineTreeView()
self.state_machine_tree.show()
self['states_tree_scrolledwindow'].add(self.state_machine_tree)
######################################################
# Global Variable Manager
######################################################
self.global_var_editor = GlobalVariableEditorView()
self.global_var_editor.show()
self['global_variables_eventbox'].add(self.global_var_editor.get_parent_widget())
######################################################
# State Machine History
######################################################
self.state_machine_history = ModificationHistoryView()
self.state_machine_history.show()
self['history_alignment'].add(self.state_machine_history.get_parent_widget())
######################################################
# State Machine Execution History
######################################################
self.execution_history = ExecutionHistoryView()
self.execution_history.show()
self['execution_history_alignment'].add(self.execution_history.get_parent_widget())
######################################################
# rotate all tab labels by 90 degrees and make detachable
######################################################
self.rotate_and_detach_tab_labels()
self['upper_notebook'].set_current_page(0)
self['lower_notebook'].set_current_page(0)
######################################################
# State-machines-editor (graphical)
######################################################
self.state_machines_editor = StateMachinesEditorView()
self.state_machines_editor.show()
self['central_vbox'].pack_start(self.state_machines_editor.get_parent_widget(), True, True, 0)
self['central_vbox'].reorder_child(self.state_machines_editor.get_parent_widget(), 1)
######################################################
# Notification Bar
######################################################
self.notification_bar = NotificationBarView()
self.notification_bar.show()
self['central_vbox'].pack_start(self.notification_bar.get_parent_widget(), False, True, 0)
self['central_vbox'].reorder_child(self.notification_bar.get_parent_widget(), 2)
######################################################
# States-editor
######################################################
self.states_editor = StatesEditorView()
self['state_editor_eventbox'].add(self.states_editor.get_parent_widget())
self.states_editor.show()
######################################################
# Debug Console
######################################################
self.debug_console_view = DebugConsoleView()
self['debug_console_viewport'].add(self.debug_console_view.get_parent_widget())
self.debug_console_view.get_parent_widget().show()
# map hide and undock buttons within and debug widget to be usable from main window view with generic naming
self['undock_console_button'] = self.debug_console_view['undock_console_button']
self['console_hide_button'] = self.debug_console_view['console_hide_button']
self['console_container'] = self.debug_console_view['console_container']
self['console'] = self.debug_console_view['console']
##################################################
# HeaderBar with MenuBar
##################################################
self.menu_bar = MenuBarView()
self.menu_bar.show()
self['headerbar'].pack_start(self.menu_bar.get_parent_widget())
self['headerbar'].show()
self.tool_bar = ToolBarView()
self.tool_bar.show()
self['top_level_vbox'].remove(self['tool_bar_placeholder'])
self['top_level_vbox'].pack_start(self.tool_bar.get_parent_widget(), expand=False, fill=True, padding=0)
self['top_level_vbox'].reorder_child(self.tool_bar.get_parent_widget(), 0)
################################################
# Hide Buttons
################################################
self['left_bar_hide_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_LEFTA))
self['right_bar_hide_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_RIGHTA))
################################################
# Return Buttons
################################################
self['left_bar_return_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_RIGHTA))
self['right_bar_return_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_LEFTA))
self['console_return_button'].set_image(gui_helper_label.create_button_label(constants.BUTTON_UPA))
# --------------------------------------------------------------------------
# Edit graphical_editor_shortcuts
# --------------------------------------------------------------------------
button_start_shortcut = self['button_start_shortcut']
button_start_shortcut.set_tooltip_text('Run')
button_stop_shortcut = self['button_stop_shortcut']
button_stop_shortcut.set_tooltip_text('Stop')
button_pause_shortcut = self['button_pause_shortcut']
button_pause_shortcut.set_tooltip_text('Pause')
button_run_this_state_shortcut = self['button_run_this_state_shortcut']
button_run_this_state_shortcut.set_tooltip_text('Run Selected State')
button_run_only_this_state_shortcut = self['button_run_only_this_state_shortcut']
button_run_only_this_state_shortcut.set_tooltip_text('Only Run Selected State')
button_start_from_shortcut = self['button_start_from_shortcut']
button_start_from_shortcut.set_tooltip_text('Run From Selected State')
button_run_to_shortcut = self['button_run_to_shortcut']
button_run_to_shortcut.set_tooltip_text('Run Until Selected State (Selected State Excluded)')
button_step_mode_shortcut = self['button_step_mode_shortcut']
button_step_mode_shortcut.set_tooltip_text('Enter Step Mode')
button_step_in_shortcut = self['button_step_in_shortcut']
button_step_in_shortcut.set_tooltip_text('Step Into (One Level In -> Child-State))')
button_step_over_shortcut = self['button_step_over_shortcut']
button_step_over_shortcut.set_tooltip_text('Step Over (the next Sibling-State))')
button_step_out_shortcut = self['button_step_out_shortcut']
button_step_out_shortcut.set_tooltip_text('Step Out (One Level Up -> Parent-State)')
button_step_backward_shortcut = self['button_step_backward_shortcut']
button_step_backward_shortcut.set_tooltip_text('Step Backward')
button_start_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_START))
button_stop_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_STOP))
button_pause_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_PAUSE))
button_run_this_state_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_RUN_SELECTED_STATE))
button_run_only_this_state_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_ONLY_RUN_SELECTED_STATE))
button_start_from_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_START_FROM_SELECTED_STATE))
button_run_to_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_RUN_TO_SELECTED_STATE))
button_step_mode_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_STEPM))
button_step_in_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_STEP_INTO))
button_step_over_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_STEP_OVER))
button_step_out_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_STEP_OUT))
button_step_backward_shortcut.set_label_widget(gui_helper_label.create_button_label(constants.BUTTON_BACKW))
self.left_bar_window = UndockedWindowView('left_bar_window')
self.right_bar_window = UndockedWindowView('right_bar_window')
self.console_window = UndockedWindowView('console_window')
gui_helper_label.ellipsize_labels_recursively(self['execution_ticker_text'], Pango.EllipsizeMode.START)
def __init__(self):
super(SourceEditorView,
self).__init__(name='SOURCE EDITOR',
language='python',
editor_style="SOURCE_EDITOR_STYLE",
run_with_spacer=False)
try:
if isinstance(self.textview, GtkSource.View):
self.textview.set_tab_width(4)
self.textview.set_insert_spaces_instead_of_tabs(True)
self.textview.set_show_line_numbers(True)
self.textview.set_auto_indent(True)
self.textview.set_highlight_current_line(True)
except NameError:
pass
hbox = Gtk.Box.new(Gtk.Orientation.HORIZONTAL, 0)
hbox.get_style_context().add_class("widget-toolbar")
pylint_check_button = Gtk.CheckButton(label="Validate")
pylint_check_button.set_focus_on_click(False)
pylint_check_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
pylint_check_button.get_style_context().add_class("secondary")
open_external_button = Gtk.ToggleButton(label="Open externally")
open_external_button.set_focus_on_click(False)
open_external_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
apply_button = Gtk.Button(label="Apply")
apply_button.set_focus_on_click(False)
apply_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
cancel_button = Gtk.Button(label="Reset")
cancel_button.set_focus_on_click(False)
cancel_button.set_border_width(constants.BUTTON_BORDER_WIDTH)
hbox.pack_start(pylint_check_button, False, False, 0)
hbox.pack_end(open_external_button, False, True, 0)
hbox.pack_end(cancel_button, False, True, 0)
hbox.pack_end(apply_button, False, True, 0)
label.ellipsize_labels_recursively(hbox)
self['editor_frame'].pack_start(hbox,
expand=False,
fill=True,
padding=0)
self['pylint_check_button'] = pylint_check_button
self['apply_button'] = apply_button
self['open_external_button'] = open_external_button
self['cancel_button'] = cancel_button
# TODO find the properties where the the next three values can be read from
# value is an assumption because its respective property is not found till now
self.line_numbers_width = 35
# this value is from the main window glade file and respective right_bar_container width request
self.tab_width = 53
# value is an assumption because its respective property is not found till now
self.source_view_character_size = 8
# observe key press events to adapt pane position
# Note: -> changed is not used because it is creating glib segfaults
if self.spacer_frame is not None:
self.textview.connect("key-press-event", self.on_text_view_event)