[gnome-shell-extensions] naturalWindowPlacement: Remove unused stuff
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] naturalWindowPlacement: Remove unused stuff
- Date: Tue, 17 Oct 2017 15:54:25 +0000 (UTC)
commit a0cae3d1308dcc1afda8a594e38fe6695f783413
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Sep 20 03:28:13 2017 +0200
naturalWindowPlacement: Remove unused stuff
https://bugzilla.gnome.org/show_bug.cgi?id=787934
extensions/native-window-placement/extension.js | 32 -----------------------
1 files changed, 0 insertions(+), 32 deletions(-)
---
diff --git a/extensions/native-window-placement/extension.js b/extensions/native-window-placement/extension.js
index 998267e..ca48939 100644
--- a/extensions/native-window-placement/extension.js
+++ b/extensions/native-window-placement/extension.js
@@ -1,20 +1,7 @@
// -*- mode: js2; indent-tabs-mode: nil; js2-basic-offset: 4 -*-
-// import just everything from workspace.js:
-const Clutter = imports.gi.Clutter;
-const Gio = imports.gi.Gio;
const Lang = imports.lang;
-const Mainloop = imports.mainloop;
-const Meta = imports.gi.Meta;
-const Pango = imports.gi.Pango;
-const Shell = imports.gi.Shell;
-const St = imports.gi.St;
-const Signals = imports.signals;
-
-const DND = imports.ui.dnd;
-const Lightbox = imports.ui.lightbox;
-const Main = imports.ui.main;
+
const Overview = imports.ui.overview;
-const Panel = imports.ui.panel;
const Tweener = imports.ui.tweener;
const Workspace = imports.ui.workspace;
@@ -31,25 +18,6 @@ const WINDOW_PLACEMENT_NATURAL_ACCURACY = 20; // accuracy
const WINDOW_PLACEMENT_NATURAL_GAPS = 5; // half of the minimum gap between
windows
const WINDOW_PLACEMENT_NATURAL_MAX_TRANSLATIONS = 5000; // safety limit for preventing endless
loop if something is wrong in the algorithm
-const PLACE_WINDOW_CAPTIONS_ON_TOP = true; // place window titles in overview on
top of windows with overlap parameter
-
-const WORKSPACE_BORDER_GAP = 10; // minimum gap between the workspace
area and the workspace selector
-const WINDOW_AREA_TOP_GAP = 20; // minimum gap between the workspace
area and the top border. This keeps window captions and close buttons visible. 13px (26/2) should currently
be enough.
-
-const BUTTON_LAYOUT_SCHEMA = 'org.gnome.desktop.wm.preferences';
-const BUTTON_LAYOUT_KEY = 'button-layout';
-
-function injectToFunction(parent, name, func) {
- let origin = parent[name];
- parent[name] = function() {
- let ret;
- ret = origin.apply(this, arguments);
- if (ret === undefined)
- ret = func.apply(this, arguments);
- return ret;
- }
-}
-
const Rect = new Lang.Class({
Name: 'NativeWindowPlacement.Rect',
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]