two new entries in debugging menu

Hi,

just for your information, I put two new entries in the debugging world menu that let you

a) reset the title bars of windows (for uncentered  "X")
b) reset button labels resetting (uncentered labels)

Use these on parts and old pages where you notice that they don't look nice any more and republish them.

Best,
Jens
_______________________________________________
lively-kernel mailing list
[hidden email]
http://lists.hpi.uni-potsdam.de/listinfo/lively-kernel