two new entries in debugging menu

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

two new entries in debugging menu

Lincke, Jens
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