morgan/dash-to-panel
1
0
Fork 0
mirror of https://github.com/morgan9e/dash-to-panel synced 2026-04-14 00:04:17 +09:00
Code Issues Packages Projects Releases Wiki Activity

added patches from crab2313

Browse Source
This commit is contained in:
Philipp Unger
2022-03-16 19:27:40 +01:00
parent 24b72fac69
commit b7c6780320
6 changed files with 14 additions and 96 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
panelManager.js
View File

@@ -682,7 +682,7 @@ function newUpdateHotCorners() {
if (haveTopLeftCorner) {
let corner = new Layout.HotCorner(this, monitor, cornerX, cornerY);
corner.setBarrierSize = size => corner.__proto__.setBarrierSize.call(corner, Math.min(size, 32));
corner.setBarrierSize = size => Object.getPrototypeOf(corner).setBarrierSize.call(corner, Math.min(size, 32));
corner.setBarrierSize(panel ? panel.dtpSize : 32);
this.hotCorners.push(corner);
} else {