Never show window actors when navigating

This commit is contained in:
Tor Hedin Brønner
2018-04-22 14:56:05 +02:00
parent acc7d543fe
commit 2ced462637
3 changed files with 12 additions and 2 deletions
+6
View File
@@ -11,12 +11,14 @@ const Main = imports.ui.main;
const Clutter = imports.gi.Clutter;
const Tweener = imports.ui.tweener;
var TopBar = Extension.imports.topbar;
const Minimap = Extension.imports.minimap;
const Tiling = Extension.imports.tiling;
const utils = Extension.imports.utils;
const debug = utils.debug;
const scale = 0.90;
var navigating = false;
var PreviewedWindowNavigator = new Lang.Class({
Name: 'PreviewedWindowNavigator',
@@ -25,6 +27,8 @@ var PreviewedWindowNavigator = new Lang.Class({
_init: function() {
this.parent();
navigating = true;
let multimap = new Minimap.MultiMap(true);
this.multimap = multimap;
this._switcherList = multimap;
@@ -290,6 +294,8 @@ var PreviewedWindowNavigator = new Lang.Class({
}
Tiling.ensure_viewport(Tiling.spaces.spaceOfWindow(focus), focus);
}
navigating = false;
this.parent();
}
});
+2
View File
@@ -10,6 +10,8 @@ function makeScratch(metaWindow) {
metaWindow[float] = true;
metaWindow.make_above();
metaWindow.stick();
metaWindow.clone.hide();
metaWindow.get_compositor_private().show();
}
function unmakeScratch(metaWindow) {
+4 -2
View File
@@ -13,6 +13,7 @@ const debug = utils.debug;
var Minimap = Extension.imports.minimap;
var Scratch = Extension.imports.scratch;
var TopBar = Extension.imports.topbar;
var Navigator = Extension.imports.navigator;
var Me = Extension.imports.tiling;
let preferences = Extension.imports.convenience.getSettings();
@@ -175,7 +176,7 @@ function disable () {
}
}
let colors = [ 'grey', 'cyan', 'red', 'blue', 'green', 'yellow', 'orange'];
let colors = [ 'grey', 'green', 'yellow', 'orange', 'cyan', 'blue', 'red'];
let color = 0;
let containers = [];
class Space extends Array {
@@ -655,7 +656,8 @@ let minimizeWrapper = utils.dynamic_function_ref('minimizeHandler', Me);
function showHandler(actor) {
let metaWindow = actor.meta_window;
let onActive = metaWindow.get_workspace() === global.screen.get_active_workspace();
if (metaWindow.clone.visible || ! onActive) {
if (metaWindow.clone.visible || ! onActive || Navigator.navigating) {
actor.hide();
metaWindow.clone.show();
}