a few changes

This commit is contained in:
contact@tiotrom.com
2020-05-05 17:45:35 +02:00
parent 262bf94d80
commit 78f6a4fbc0
231 changed files with 191 additions and 3165 deletions

View File

@ -1,33 +0,0 @@
const Main = imports.ui.main;
const ExtensionUtils = imports.misc.extensionUtils;
const Config = imports.misc.config;
let _id;
function _disable_hot_corners() {
// Disables all hot corners
Main.layoutManager.hotCorners.forEach(function(hot_corner) {
if (!hot_corner) {
return;
}
hot_corner._toggleOverview = function() {};
hot_corner._pressureBarrier._trigger = function() {};
});
}
function init() {
}
function enable() {
_disable_hot_corners();
// Hot corners may be re-created afterwards (for example, If there's a monitor change).
// So we catch all changes.
_id = Main.layoutManager.connect('hot-corners-changed', _disable_hot_corners);
}
function disable() {
// Disconnects the callback and re-creates the hot corners
Main.layoutManager.disconnect(_id);
Main.layoutManager._updateHotCorners();
}

View File

@ -1,23 +0,0 @@
{
"_generated": "Generated by SweetTooth, do not edit",
"description": "This extension disables the top left hot corners. You can still click on Activities or press the dedicated key to reach the overview. Since 3.8, should work with other extensions modifying the Activities button. On versions prior to 3.8, may not disable other hotcorners in multiscreen configurations and won't work on fallback/flashback mode.",
"name": "No Topleft Hot Corner",
"shell-version": [
"3.8",
"3.10",
"3.12",
"3.14",
"3.16",
"3.18",
"3.20",
"3.22",
"3.24",
"3.26",
"3.28",
"3.30",
"3.32"
],
"url": "https://github.com/HROMANO/nohotcorner/",
"uuid": "nohotcorner@azuri.free.fr",
"version": 19
}