From ab39f9ba41d26d41f1b322122bd67c3b34709d4a Mon Sep 17 00:00:00 2001 From: chrin Date: Wed, 5 Apr 2023 14:18:12 +0200 Subject: [PATCH] overdue update --- guiheader.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/guiheader.py b/guiheader.py index 089f097..5158703 100644 --- a/guiheader.py +++ b/guiheader.py @@ -188,11 +188,16 @@ class GUIHeader(QWidget): def change_operation_mode(self, user_mode=UserMode.OPERATION): """ Different operation modes have different color schemes """ + title_name = user_mode.name + dry_run_tags = ['Emittance', 'Dry'] + if any([x in self.header_wgt.title() for x in dry_run_tags]): + title_name = 'DRY RUN' if user_mode.name == 'SIMULATION' else user_mode.name self.header_wgt.setObjectName(user_mode.name) self.header_wgt.setTitle(self.header_wgt.title().replace( - self.current_user_mode.name, user_mode.name)) + self.current_user_mode.name, title_name)) self.header_wgt.style().polish(self.header_wgt) self.current_user_mode = user_mode + def beamline_widget(self, beamline="Aramis"): """ QGroupBox template for beamlines