1
function window_set_size(a)
10
if rhs==0 then j=1.5;a=max(600/(j*w),400/(j*h),j); end
12
xx=0;yy=0;w=600;h=400;rect=[xx,yy,w,h];
13
if rhs==0 then a=1.5; end
20
width=%zoom*w*a;height=%zoom*h*a
21
xset('wdim',width,height);
23
xsetech([b,b,1/a,1/a],[rect(1),rect(2),rect(3),rect(4)])
26
%XSHIFT=max((width-r(1))/2,0)
27
%YSHIFT=max((height-r(2))/2,0)
28
xset('viewport',%XSHIFT,%YSHIFT)