[gtranslator: 10/15] Replace remaining border with in UI files
- From: Daniel Garcia Moreno <danigm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gtranslator: 10/15] Replace remaining border with in UI files
- Date: Mon, 28 Mar 2022 07:36:15 +0000 (UTC)
commit 4375f3270cb7b37325854adeb5a97921a946019c
Author: Maximiliano Sandoval R <msandova gnome org>
Date: Wed Mar 16 11:57:40 2022 +0100
Replace remaining border with in UI files
src/codeview/gtr-viewer.ui | 5 ++++-
src/gtr-header-dialog.ui | 25 +++++++++++++++++-----
src/gtr-jump-dialog.ui | 5 ++++-
src/gtr-languages-fetcher.ui | 5 ++++-
src/gtr-preferences-dialog.ui | 15 ++++++++++---
src/gtr-profile-dialog.ui | 5 ++++-
src/gtr-upload-dialog.ui | 5 ++++-
.../gtr-translation-memory-dialog.ui | 10 +++++++--
8 files changed, 60 insertions(+), 15 deletions(-)
---
diff --git a/src/codeview/gtr-viewer.ui b/src/codeview/gtr-viewer.ui
index c4043355..a707f994 100644
--- a/src/codeview/gtr-viewer.ui
+++ b/src/codeview/gtr-viewer.ui
@@ -4,7 +4,10 @@
<object class="GtkDialog" id="dialog1">
<property name="can_focus">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK |
GDK_BUTTON_RELEASE_MASK</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
<child internal-child="vbox">
diff --git a/src/gtr-header-dialog.ui b/src/gtr-header-dialog.ui
index 0d70e405..83867603 100644
--- a/src/gtr-header-dialog.ui
+++ b/src/gtr-header-dialog.ui
@@ -4,7 +4,10 @@
<requires lib="gtk+" version="3.0"/>
<object class="GtkDialog" id="header_dialog">
<property name="can_focus">False</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
<child>
@@ -58,7 +61,10 @@
<object class="GtkBox" id="lang_vbox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkCheckButton" id="take_my_options">
@@ -274,7 +280,10 @@
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="orientation">vertical</property>
<property name="spacing">6</property>
<child>
@@ -408,7 +417,10 @@
<object class="GtkScrolledWindow" id="scrolledwindow1">
<property name="visible">True</property>
<property name="can_focus">True</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="shadow_type">in</property>
<child>
<object class="GtkTextView" id="prj_comment">
@@ -438,7 +450,10 @@
<object class="GtkBox">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="orientation">vertical</property>
<property name="spacing">6</property>
<child>
diff --git a/src/gtr-jump-dialog.ui b/src/gtr-jump-dialog.ui
index 9f98dbad..461e736c 100644
--- a/src/gtr-jump-dialog.ui
+++ b/src/gtr-jump-dialog.ui
@@ -9,7 +9,10 @@
<property name="page_size">10</property>
</object>
<object class="GtkDialog" id="dialog1">
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
<property name="has_separator">False</property>
diff --git a/src/gtr-languages-fetcher.ui b/src/gtr-languages-fetcher.ui
index b9e47a28..d8067ab4 100644
--- a/src/gtr-languages-fetcher.ui
+++ b/src/gtr-languages-fetcher.ui
@@ -28,7 +28,10 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK |
GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="orientation">vertical</property>
<property name="spacing">6</property>
<child>
diff --git a/src/gtr-preferences-dialog.ui b/src/gtr-preferences-dialog.ui
index 79b6fc0b..b62c23e4 100644
--- a/src/gtr-preferences-dialog.ui
+++ b/src/gtr-preferences-dialog.ui
@@ -45,7 +45,10 @@
</object>
<object class="GtkDialog" id="preferences_dialog">
<property name="can_focus">False</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="title" translatable="yes">Translation Editor Preferences</property>
<property name="resizable">False</property>
<property name="destroy_with_parent">True</property>
@@ -101,7 +104,10 @@
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="vexpand">True</property>
- <property name="border_width">6</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<child>
<object class="GtkGrid" id="grid1">
<property name="visible">True</property>
@@ -295,7 +301,10 @@
<object class="GtkBox" id="vbox16">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="border_width">12</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>
<property name="orientation">vertical</property>
<property name="spacing">6</property>
<child>
diff --git a/src/gtr-profile-dialog.ui b/src/gtr-profile-dialog.ui
index a3273088..70b67c0c 100644
--- a/src/gtr-profile-dialog.ui
+++ b/src/gtr-profile-dialog.ui
@@ -5,7 +5,10 @@
<object class="GtkDialog" id="dialog1">
<property name="can_focus">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK |
GDK_BUTTON_RELEASE_MASK</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="modal">True</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
diff --git a/src/gtr-upload-dialog.ui b/src/gtr-upload-dialog.ui
index a9328439..dc6a3add 100644
--- a/src/gtr-upload-dialog.ui
+++ b/src/gtr-upload-dialog.ui
@@ -5,7 +5,10 @@
<object class="GtkDialog" id="dialog1">
<property name="can_focus">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK |
GDK_BUTTON_RELEASE_MASK</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="modal">True</property>
<property name="window_position">center-on-parent</property>
<property name="type_hint">dialog</property>
diff --git a/src/translation-memory/gtr-translation-memory-dialog.ui
b/src/translation-memory/gtr-translation-memory-dialog.ui
index ad89ad12..48651878 100644
--- a/src/translation-memory/gtr-translation-memory-dialog.ui
+++ b/src/translation-memory/gtr-translation-memory-dialog.ui
@@ -3,7 +3,10 @@
<requires lib="gtk+" version="3.0"/>
<object class="GtkDialog" id="translation-memory-dialog">
<property name="can_focus">False</property>
- <property name="border_width">5</property>
+ <property name="margin_start">6</property>
+ <property name="margin_end">6</property>
+ <property name="margin_top">6</property>
+ <property name="margin_bottom">6</property>
<property name="type_hint">dialog</property>
<child>
<placeholder/>
@@ -44,7 +47,10 @@
<object class="GtkBox" id="translation-memory-box">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="border_width">12</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>
<property name="orientation">vertical</property>
<property name="spacing">18</property>
<child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]