[gnome-maps] mainWindow: Increase margin around PlaceEntry



commit 076713ca16a6fe193026932d62a137b38c0bc10a
Author: Elias Entrup <elias-git flump de>
Date:   Fri Feb 26 09:32:23 2016 +0100

    mainWindow: Increase margin around PlaceEntry
    
    The increased margin makes it easier to grab the window at the
    headerbar.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=760251

 src/mainWindow.js |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/mainWindow.js b/src/mainWindow.js
index 995cdb5..6972e03 100644
--- a/src/mainWindow.js
+++ b/src/mainWindow.js
@@ -112,8 +112,8 @@ const MainWindow = new Lang.Class({
     _createPlaceEntry: function() {
         let placeEntry = new PlaceEntry.PlaceEntry({ mapView: this._mapView,
                                                      visible: true,
-                                                     margin_start: 6,
-                                                     margin_end: 6,
+                                                     margin_start: 35,
+                                                     margin_end: 35,
                                                      max_width_chars: 50,
                                                      loupe: true,
                                                      matchRoute: true


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]