[lively-kernel] two new entries in debugging menu

Jens Lincke jens.lincke at hpi.uni-potsdam.de
Fri Nov 18 15:50:47 CET 2011


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.


More information about the lively-kernel mailing list