1 <!-- Copyleft 2004 - see COPYING for details [LGPL] -->
5 Author: Charles Goodwin
8 static.flip = function(f) {
9 if (f == "width") return "height";
10 else if (f == "height") return "width";
11 else if (f == "x") return "y";
12 else if (f == "y") return "x";
13 else if (f == "maxwidth") return "maxheight";
14 else if (f == "maxheight") return "maxwidth";
15 else if (f == "minwidth") return "minheight";
16 else if (f == "minheight") return "minwidth";
17 else if (f == "horizontal") return "vertical";
18 else if (f == "vertical") return "horizontal";
19 else if (f == "hshrink") return "vshrink";
20 else if (f == "vshrink") return "hshrink";
21 else if (f == "cols") return "rows";
22 else if (f == "rows") return "cols";
28 thisbox.dim = "width";
29 thisbox.globalpos = "globalx";
30 thisbox.mindim = "minwidth";
31 thisbox.maxdim = "maxwidth";
33 thisbox.shr = "hshrink";
34 thisbox.flip = static.flip;
36 thisbox.orient ++= function(v) {
37 if (v == "horizontal") {
38 if (cols) rows = cols;
46 if (rows) cols = rows;