From 58046addef2557da7f7719f2e4259e108caafb02 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= Date: Fri, 27 Apr 2018 13:33:36 +0200 Subject: [PATCH] Remove hardcoded margin and minimumMargin --- tiling.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/tiling.js b/tiling.js index b5ff8a7..4eb6f6b 100644 --- a/tiling.js +++ b/tiling.js @@ -27,11 +27,10 @@ var window_gap = preferences.get_int('window-gap'); var margin_tb = preferences.get_int('vertical-margin'); // left/right margin var margin_lr = preferences.get_int('horizontal-margin'); -margin_lr = 30 // How much the stack should protrude from the side var stack_margin = 75; // Minimum margin -var minimumMargin = 30; +var minimumMargin = 15; var primary = Main.layoutManager.primaryMonitor;