Am Sat, 02 Jan 2010 16:24:07 -0800 schrieb D M German <[email protected]>:
> > > tiling-functions.jl is almost what I need, but it does not avoid the > gnome bars. I'll fix it. > > By the way, undo.jl is very useful to have for these functions. > > Definitively. It's one of the candidates for merging into 3.0, once revised. Chris
