Name	Size	Mode	Actions
box.lefty	3613	0644	editdlrm
def.lefty	459	0644	editdlrm
dotty.lefty	23036	0644	editdlrm
dotty_draw.lefty	19946	0644	editdlrm
dotty_edit.lefty	18046	0644	editdlrm
dotty_layout.lefty	14570	0644	editdlrm
dotty_ui.lefty	14210	0644	editdlrm
fractal.lefty	2716	0644	editdlrm
fractal2.lefty	5751	0644	editdlrm
lefty.psp	2423	0644	editdlrm
slides.lefty	3198	0644	editdlrm
tree.lefty	5014	0644	editdlrm

definit = function () { defview = createwidget (-1, [ 'type' = 'view'; 'name' = 'graphics view'; 'origin' = ['x' = 1; 'y' = 1;]; 'size' = ['x' = 400; 'y' = 500;]; ]); defscroll = createwidget (defview, ['type' = 'scroll';]); defcanvas = createwidget (defscroll, [ 'type' = 'canvas'; 'origin' = ['x' = 1; 'y' = 1;]; 'size' = ['x' = 400; 'y' = 500;]; 'borderwidth' = 1; ]); };