1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
const { Clutter, St } = imports.gi;
const WORKSPACE_MIN_SPACING = 24;
const WORKSPACE_MAX_SPACING = 1000;
const WORKSPACE_INACTIVE_SCALE = 0.94;
const SECONDARY_WORKSPACE_SCALE = 0.70;
const OverviewControls = imports.ui.overviewControls;
const WorkspacesView = imports.ui.workspacesView;
const Main = imports.ui.main;
const Self = imports.misc.extensionUtils.getCurrentExtension();
const Util = Self.imports.util;
function override() {
global.vertical_overview.GSFunctions['WorkspacesView'] = Util.overrideProto(WorkspacesView.WorkspacesView.prototype, WorkspacesViewOverride);
log('You may see an error below,\nSecondaryMonitorDisplay is defined as const for some reason\nSince I\'m overriding values in that const an error show might show up.\n Feel free to ignore it');
SecondaryMonitorDisplay = WorkspacesView.SecondaryMonitorDisplay;
global.vertical_overview.GSFunctions['SecondaryMonitorDisplay'] = Util.overrideProto(WorkspacesView.SecondaryMonitorDisplay.prototype, SecondaryMonitorDisplayOverride);
log('Thank you, please carry on');
if (global.vertical_overview.default_old_style_enabled) {
Main.overview._overview._controls._workspacesDisplay.add_style_class_name("vertical-overview");
}
}
function reset() {
Util.overrideProto(WorkspacesView.WorkspacesView.prototype, global.vertical_overview.GSFunctions['WorkspacesView']);
Util.overrideProto(WorkspacesView.SecondaryMonitorDisplay.prototype, global.vertical_overview.GSFunctions['SecondaryMonitorDisplay']);
if (global.vertical_overview.default_old_style_enabled) {
Main.overview._overview._controls._workspacesDisplay.remove_style_class_name("vertical-overview");
}
}
var WorkspacesViewOverride = {
_getWorkspaceModeForOverviewState: function(state) {
const { ControlsState } = OverviewControls;
switch (state) {
case ControlsState.HIDDEN:
return 0;
case ControlsState.WINDOW_PICKER:
return 1;
case ControlsState.APP_GRID:
return 1;
}
return 0;
},
_getSpacing(box, fitMode, vertical) {
const [width, height] = box.get_size();
const [workspace] = this._workspaces;
var [, workspaceHeight] = workspace.get_preferred_height(width);
if (workspaceHeight > height) {
workspaceHeight = height;
}
let total_height = global.screen_height;
let availableSpace = ((total_height - workspaceHeight) / 2) - (global.vertical_overview.workspacePeek || 0);
const spacing = (availableSpace) * (1 - fitMode);
const { scaleFactor } = St.ThemeContext.get_for_stage(global.stage);
return Math.max(spacing * scaleFactor, 0);
},
_getFirstFitSingleWorkspaceBox(box, spacing, vertical) {
const [width, height] = box.get_size();
const [workspace] = this._workspaces;
const rtl = this.text_direction === Clutter.TextDirection.RTL;
const adj = this._scrollAdjustment;
const currentWorkspace = vertical || !rtl
? adj.value : adj.upper - adj.value - 1;
// Single fit mode implies centered too
let [x1, y1] = box.get_origin();
var [, workspaceHeight] = workspace.get_preferred_height(width);
if (workspaceHeight > height) {
workspaceHeight = height;
}
y1 += (height - workspaceHeight) / 2;
y1 -= currentWorkspace * (workspaceHeight + spacing);
const fitSingleBox = new Clutter.ActorBox({ x1, y1 });
fitSingleBox.set_size(width, workspaceHeight);
return fitSingleBox;
}
}
var SecondaryMonitorDisplayOverride = {
_getWorkspacesBoxForState(state, box, padding, leftOffset, rightOffset, spacing) {
const { ControlsState } = OverviewControls;
const workspaceBox = box.copy();
const [width, height] = workspaceBox.get_size();
switch (state) {
case ControlsState.HIDDEN:
break;
case ControlsState.WINDOW_PICKER:
case ControlsState.APP_GRID:
workspaceBox.set_origin(leftOffset, padding + spacing);
workspaceBox.set_size(
width - rightOffset - leftOffset,
height - 2 * padding - spacing);
break;
}
return workspaceBox;
},
vfunc_allocate(box) {
this.set_allocation(box);
const themeNode = this.get_theme_node();
const contentBox = themeNode.get_content_box(box);
const [width, height] = contentBox.get_size();
const { expandFraction } = this._thumbnails;
const spacing = themeNode.get_length('spacing') * expandFraction;
const padding =
Math.round((1 - SECONDARY_WORKSPACE_SCALE) * height / 2);
const scale = Main.layoutManager.getWorkAreaForMonitor(this._monitorIndex).width / Main.layoutManager.primaryMonitor.width;
const leftOffset = Main.overview._overview._controls.layoutManager.leftOffset * scale;
const rightOffset = Main.overview._overview._controls.layoutManager.rightOffset * scale;
// Workspace Thumbnails
if (this._thumbnails.visible) {
const childBox = new Clutter.ActorBox();
childBox.set_origin(width - rightOffset, 0);
childBox.set_size(rightOffset, height);
this._thumbnails.allocate(childBox);
}
const {
currentState, initialState, finalState, transitioning, progress,
} = this._overviewAdjustment.getStateTransitionParams();
let workspacesBox;
const workspaceParams = [contentBox, padding, leftOffset, rightOffset, spacing];
if (!transitioning) {
workspacesBox =
this._getWorkspacesBoxForState(currentState, ...workspaceParams);
} else {
const initialBox =
this._getWorkspacesBoxForState(initialState, ...workspaceParams);
const finalBox =
this._getWorkspacesBoxForState(finalState, ...workspaceParams);
workspacesBox = initialBox.interpolate(finalBox, progress);
}
this._workspacesView.allocate(workspacesBox);
}
}
|
