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

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.

lively-kernel mailing list
[hidden email]