[polari] connectionProperties: Drop border-width override
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [polari] connectionProperties: Drop border-width override
- Date: Sat, 16 Jan 2021 01:50:26 +0000 (UTC)
commit 5820f7fcef168caf30ae27f20bdcfddeb56c584e
Author: Florian Müllner <fmuellner gnome org>
Date: Sat Oct 10 01:12:14 2020 +0200
connectionProperties: Drop border-width override
We reset the small border-width that Gtk.Dialog sets on its
internal child; stop doing that to prepare for the property
going away in GTK4.
https://gitlab.gnome.org/GNOME/polari/-/merge_requests/174
data/resources/connection-properties.ui | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/data/resources/connection-properties.ui b/data/resources/connection-properties.ui
index 91e91662..4b2811f7 100644
--- a/data/resources/connection-properties.ui
+++ b/data/resources/connection-properties.ui
@@ -28,7 +28,6 @@
<property name="can-focus">False</property>
<property name="orientation">vertical</property>
<property name="spacing">24</property>
- <property name="border-width">0</property>
<child>
<object class="Gjs_ConnectionDetails" id="details">
<property name="visible">True</property>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]