forked from jancborchardt/gnome-shell-extensions
/
extension.js
35 lines (28 loc) · 809 Bytes
/
extension.js
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
// Copyright (c) 2012 Jan-Christoph Borchardt, http://jancborchardt.net
// freely licensed under MIT
const Overview = imports.ui.main.overview;
const Panel = imports.ui.main.panel;
const MessageTray = imports.ui.main.messageTray;
let showID, hideID;
function init() {
}
function enable() {
hideDistractions();
Panel._activitiesButton.actor.hide();
hideID = Overview.connect('hiding', hideDistractions);
showID = Overview.connect('showing', showDistractions);
}
function disable() {
Overview.disconnect(showID);
Overview.disconnect(hideID);
showDistractions();
Panel._activitiesButton.actor.show();
}
function hideDistractions() {
Panel.actor.hide();
MessageTray.actor.hide()
}
function showDistractions() {
Panel.actor.show();
MessageTray.actor.show()
}