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 [email protected] http://lists.hpi.uni-potsdam.de/listinfo/lively-kernel
