diff options
| author | Marcus Lundblad <ml@dfupdate.se> | 2022-11-25 21:54:17 +0100 |
|---|---|---|
| committer | Marcus Lundblad <ml@dfupdate.se> | 2022-11-28 23:22:34 +0100 |
| commit | d4bb7c21e088044df171f78c54d2d9dc1b9172db (patch) | |
| tree | f52381490f1a5f02a3ae6801ed1d9526877f0056 | |
| parent | 12b4cf9e10c20b1b998295cad54910fc08a0a5cb (diff) | |
| download | gnome-maps-d4bb7c21e088044df171f78c54d2d9dc1b9172db.tar.gz | |
placeView: Decrease margins
| -rw-r--r-- | data/ui/place-view.ui | 8 | ||||
| -rw-r--r-- | src/placeView.js | 8 |
2 files changed, 8 insertions, 8 deletions
diff --git a/data/ui/place-view.ui b/data/ui/place-view.ui index f640b188..bb14445a 100644 --- a/data/ui/place-view.ui +++ b/data/ui/place-view.ui @@ -22,10 +22,10 @@ <child> <object class="GtkBox" id="title-box"> <property name="orientation">vertical</property> - <property name="margin-start">18</property> - <property name="margin-end">18</property> - <property name="margin-top">18</property> - <property name="margin-bottom">18</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="spacing">12</property> <child> <object class="GtkBox"> diff --git a/src/placeView.js b/src/placeView.js index ce76dcee..a6160168 100644 --- a/src/placeView.js +++ b/src/placeView.js @@ -488,8 +488,8 @@ export class PlaceView extends Gtk.Box { let box = new Gtk.Box({ orientation: Gtk.Orientation.HORIZONTAL, visible: true, - marginStart: 18, - marginEnd: 18, + marginStart: 12, + marginEnd: 12, marginTop: 6, marginBottom: 6, spacing: 12 }); @@ -529,7 +529,7 @@ export class PlaceView extends Gtk.Box { if (grid) { widget = new Gtk.Grid({ visible: true, - column_spacing: 8 }); + column_spacing: 6 }); for (let i = 0; i < grid.length; i++) { let row = grid[i]; @@ -567,7 +567,7 @@ export class PlaceView extends Gtk.Box { halign: Gtk.Align.FILL }); if (type === 'wikipedia') { - box.marginTop = 14; + box.marginTop = 12; box.marginBottom = 18; this._wikipediaLabel = widget; } |