From fef46a0a63c88a7108db5e5a02a7d146d4141a0f Mon Sep 17 00:00:00 2001 From: Arjan Molenaar Date: Sat, 16 May 2020 20:30:42 +0200 Subject: [PATCH] Make profile selection less prominent in the header Until we upgrade the toolbox and put it there. --- gaphor/ui/mainwindow.glade | 17 +++++++++-------- gaphor/ui/mainwindow.py | 4 +++- 2 files changed, 12 insertions(+), 9 deletions(-) diff --git a/gaphor/ui/mainwindow.glade b/gaphor/ui/mainwindow.glade index 5a05c624d..e8c0e359b 100644 --- a/gaphor/ui/mainwindow.glade +++ b/gaphor/ui/mainwindow.glade @@ -1,27 +1,27 @@ - + - + False bottom - + False bottom - + False bottom - + @@ -72,7 +72,7 @@ @@ -101,6 +101,7 @@ True False True + none select-modeling-language @@ -181,7 +182,7 @@ - + - \ No newline at end of file + diff --git a/gaphor/ui/mainwindow.py b/gaphor/ui/mainwindow.py index 52d57c121..16e4cbdbb 100644 --- a/gaphor/ui/mainwindow.py +++ b/gaphor/ui/mainwindow.py @@ -270,7 +270,9 @@ class MainWindow(Service, ActionProvider): def _on_modeling_language_selection_changed(self, event=None): if self.modeling_language_name: self.modeling_language_name.set_text( - self.modeling_language.active_modeling_language_name + gettext("Profile: {}").format( + self.modeling_language.active_modeling_language_name + ) ) def _on_window_active(self, window, prop):