Make profile selection less prominent in the header

Until we upgrade the toolbox and put it there.
This commit is contained in:
Arjan Molenaar 2020-05-16 20:30:42 +02:00
parent 02b3851be1
commit fef46a0a63
2 changed files with 12 additions and 9 deletions

View File

@ -1,27 +1,27 @@
<?xml version="1.0" encoding="UTF-8" ?>
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.22.2 -->
<interface>
<requires lib="gtk+" version="3.20" />
<requires lib="gtk+" version="3.20"/>
<!-- interface-local-resource-path ./icons -->
<object class="GtkPopover" id="hamburger">
<property name="can_focus">False</property>
<property name="position">bottom</property>
<child>
<placeholder />
<placeholder/>
</child>
</object>
<object class="GtkPopover" id="recent-files">
<property name="can_focus">False</property>
<property name="position">bottom</property>
<child>
<placeholder />
<placeholder/>
</child>
</object>
<object class="GtkPopover" id="select-modeling-language">
<property name="can_focus">False</property>
<property name="position">bottom</property>
<child>
<placeholder />
<placeholder/>
</child>
</object>
<object class="GtkApplicationWindow" id="main-window">
@ -72,7 +72,7 @@
</packing>
</child>
<style>
<class name="linked" />
<class name="linked"/>
</style>
</object>
</child>
@ -101,6 +101,7 @@
<property name="can_focus">True</property>
<property name="focus_on_click">False</property>
<property name="receives_default">True</property>
<property name="relief">none</property>
<property name="popover">select-modeling-language</property>
<child>
<object class="GtkBox">
@ -181,7 +182,7 @@
</object>
</child>
<child>
<placeholder />
<placeholder/>
</child>
</object>
</interface>
</interface>

View File

@ -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):