/usr/share/gnome-shell/extensions/hidetopbar@mathieu.bidon.ca/extension.js is in gnome-shell-extension-autohidetopbar 20151103-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | //
// Hides the Gnome "top bar" except in overview mode.
// https://extensions.gnome.org/extension/545/hide-top-bar/
// https://github.com/mlutfy/hidetopbar
//
// See README for more information.
//
const Mainloop = imports.mainloop;
const Me = imports.misc.extensionUtils.getCurrentExtension();
const Convenience = Me.imports.convenience;
const TopPanel = Me.imports.topPanel;
const DEBUG = Convenience.DEBUG;
let settings = null;
let panel = null;
function init() { }
function enable() {
DEBUG("enable()");
settings = Convenience.getSettings();
panel = new TopPanel.topPanel(settings);
}
function disable() {
DEBUG("disable()");
panel.destroy();
settings.run_dispose();
panel = null;
settings = null;
}
|