01-Jul megacz POSIX.java, POSIX.cc: initial window size, DISPLAY
string logging, http_proxy environment variable checking, font fixes
+
+01-Jul megacz Platform.java: initial window size fixes
+
public static Surface createSurface(Box b, boolean framed, boolean refreshable) {
Surface ret = platform._createSurface(b, framed);
ret.setInvisible(b.invisible);
- b.set(Box.size, 0, ret.width);
- b.set(Box.size, 1, ret.height);
+ b.set(Box.size, 0, b.size(0) == 0 ? 10 : b.size(0));
+ b.set(Box.size, 1, b.size(1) == 0 ? 10 : b.size(1));
Object titlebar = b.get("titlebar", null, true);
if (titlebar != null) ret.setTitleBarText(titlebar.toString());