Commit 77b134db authored by Niccolò Venerandi's avatar Niccolò Venerandi
Browse files

Make panel 44px instead of 46px

parent 874bdd0f
...@@ -25,9 +25,9 @@ if (freeEdges["bottom"] == true) { ...@@ -25,9 +25,9 @@ if (freeEdges["bottom"] == true) {
panel.location = "top"; panel.location = "top";
} }
// For an Icons-Only Task Manager on the bottom, *3 is too much, *2 is too little // For an Icons-Only Task Manager on the bottom, *3 is too much, *2 is too little
// Round up to next highest even number since the Panel size widget only displays // Round down to next highest even number since the Panel size widget only displays
// even numbers // even numbers
panel.height = 2 * Math.ceil(gridUnit * 2.5 / 2) panel.height = 2 * Math.floor(gridUnit * 2.5 / 2)
// Restrict horizontal panel to a maximum size of a 21:9 monitor // Restrict horizontal panel to a maximum size of a 21:9 monitor
const maximumAspectRatio = 21/9; const maximumAspectRatio = 21/9;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment