/usr/share/graphviz/lefty
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; ]); };
.
Edit
..
Edit
box.lefty
Edit
def.lefty
Edit
dotty.lefty
Edit
dotty_draw.lefty
Edit
dotty_edit.lefty
Edit
dotty_layout.lefty
Edit
dotty_ui.lefty
Edit
fractal.lefty
Edit
fractal2.lefty
Edit
lefty.psp
Edit
slides.lefty
Edit
tree.lefty
Edit