gplugin/gplugin

Move expander to end of plugin row

2021-12-06, Elliott Sales de Andrade
37f9d0575d3c
Parents 101652e352e8
Children 4af7e17ec2fd
Move expander to end of plugin row

This matches the GNOME extension tool, and looks a bit clearer, I think.
--- a/gplugin-gtk4/data/plugin-row.ui Mon Dec 06 22:37:09 2021 -0600
+++ b/gplugin-gtk4/data/plugin-row.ui Mon Dec 06 22:37:09 2021 -0600
@@ -77,16 +77,6 @@
</object>
</child>
<child>
- <object class="GtkExpander" id="expander">
- <property name="halign">center</property>
- <property name="valign">center</property>
- <property name="margin-start">12</property>
- <property name="margin-end">12</property>
- <property name="margin-top">12</property>
- <property name="margin-bottom">12</property>
- </object>
- </child>
- <child>
<object class="GtkButton" id="config">
<property name="receives-default">1</property>
<property name="valign">center</property>
@@ -96,6 +86,17 @@
</style>
</object>
</child>
+ <child>
+ <object class="GtkSeparator">
+ <property name="orientation">vertical</property>
+ </object>
+ </child>
+ <child>
+ <object class="GtkExpander" id="expander">
+ <property name="halign">center</property>
+ <property name="valign">center</property>
+ </object>
+ </child>
<style>
<class name="header"/>
</style>
--- a/gplugin-gtk4/data/view.ui Mon Dec 06 22:37:09 2021 -0600
+++ b/gplugin-gtk4/data/view.ui Mon Dec 06 22:37:09 2021 -0600
@@ -29,6 +29,9 @@
<property name="selection-mode">none</property>
<property name="show-separators">1</property>
<signal name="row-activated" handler="gplugin_gtk_view_row_activated"/>
+ <style>
+ <class name="rich-list"/>
+ </style>
<child type="placeholder">
<object class="GtkLabel">
<property name="label" translatable="yes">No plugins found</property>