[gnome-maps] mainWindow: Increase margin around PlaceEntry
- From: Jonas Danielsson <jonasdn src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-maps] mainWindow: Increase margin around PlaceEntry
- Date: Mon, 29 Feb 2016 06:27:44 +0000 (UTC)
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]