diff --git a/scripts/minimizeall/contents/code/main.js b/scripts/minimizeall/contents/code/main.js index a293ec17b1..6a45b4ab5e 100644 --- a/scripts/minimizeall/contents/code/main.js +++ b/scripts/minimizeall/contents/code/main.js @@ -59,8 +59,8 @@ function init() { var borders = readConfig("BorderActivate", "").toString().split(","); for (var i in borders) { - var border = borders[i]; - if (border != "") { + var border = parseInt(borders[i]); + if (isFinite(border)) { registeredBorders.push(border); registerScreenEdge(border, minimizeAllWindows); }