//Margins are either the size of the margins in the SVG, unless that prevents the panel from being at least half a smallMedium icon + smallSpace) tall at which point we set the margin to whatever allows it to be that...or if it still won't fit, 1.
//Margins are either the size of the margins in the SVG, unless that prevents the panel from being at least half a smallMedium icon) tall at which point we set the margin to whatever allows it to be that...or if it still won't fit, 1.
//the size a margin should be to force a panel to be the required size above
//when the applet moves caused by its resize, don't animate.
//when the applet moves caused by its resize, don't animate.
//this is completely heuristic, but looks way less "jumpy"
propertyboolmovingForResize:false
...
...
@@ -300,13 +299,11 @@ function checkLastSpacer() {
functiongetMargins(side){
//Margins are either the size of the margins in the SVG, unless that prevents the panel from being at least half a smallMedium icon + smallSpace) tall at which point we set the margin to whatever allows it to be that...or if it still won't fit, 1.