From abaaa992da20fabf532de09b513d20fc55ec2754 Mon Sep 17 00:00:00 2001 From: Vahid Mohammadi Gahrooei Date: Wed, 6 Oct 2021 12:27:27 +0200 Subject: [PATCH 001/164] fix: skip notifications that show up quickly --- source/rafcon/gui/controllers/notification_bar.py | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/source/rafcon/gui/controllers/notification_bar.py b/source/rafcon/gui/controllers/notification_bar.py index dd7d30e1f..f6aa25f2c 100644 --- a/source/rafcon/gui/controllers/notification_bar.py +++ b/source/rafcon/gui/controllers/notification_bar.py @@ -8,6 +8,8 @@ # Contributors: # Franz Steinmetz +import time + from gi.repository import Gtk from rafcon.gui.controllers.utils.extended_controller import ExtendedController @@ -21,6 +23,7 @@ class NotificationBarController(ExtendedController): def __init__(self, model, view): super(NotificationBarController, self).__init__(model, view) log_helpers.LoggingViewHandler.add_logging_view(self.__class__.__name__, self) + self.last_notification_timestamp = None def register_view(self, view): super(NotificationBarController, self).register_view(view) @@ -39,7 +42,10 @@ def print_message(self, message, log_level): if not self._handle_log_level(log_level): return message_text = ": ".join(message.split(": ")[2:]) # remove time, log level and source - self.view.show_notification(message_text, log_level) + now = time.time() * 1000 + if self.last_notification_timestamp is None or self.last_notification_timestamp + 100 < now: + self.view.show_notification(message_text, log_level) + self.last_notification_timestamp = now def _handle_log_level(self, log_level): minimum_low_level = self.model.config.get_config_value("NOTIFICATIONS_MINIMUM_LOG_LEVEL", 30) From d5dcded497c6544786de751b60e69c7fbf8be8a6 Mon Sep 17 00:00:00 2001 From: Vahid Mohammadi Gahrooei Date: Tue, 14 Sep 2021 10:42:41 +0200 Subject: [PATCH 002/164] fix: add find usage feature --- .idea/runConfigurations/Start_GUI.xml | 8 +-- source/rafcon/gui/controllers/library_tree.py | 47 ++++++++++++++++- source/rafcon/gui/controllers/main_window.py | 9 ++++ .../gui/controllers/right_click_menu/state.py | 2 + source/rafcon/gui/glade/main_window.glade | 50 ++++++++++++++----- source/rafcon/gui/helpers/state_machine.py | 7 +++ source/rafcon/gui/utils/constants.py | 1 + source/rafcon/gui/views/main_window.py | 12 ++++- 8 files changed, 116 insertions(+), 20 deletions(-) diff --git a/.idea/runConfigurations/Start_GUI.xml b/.idea/runConfigurations/Start_GUI.xml index d81f909d5..c34150791 100644 --- a/.idea/runConfigurations/Start_GUI.xml +++ b/.idea/runConfigurations/Start_GUI.xml @@ -6,7 +6,7 @@ -