On Tue, Nov 11, 2003 at 08:55:28AM +0100, Alfredo Braunstein wrote: > THere is a lot of other not removed dead code (all fuctions called > fit.*ursor for instance, there are like 10 of them scattered around, in > src/ src/insets/, src/frontends/), but there is some that seems to serve to > some particular purpose, only that I don't understand which ;-)
Lots of philosophical problems: Is there a hidden purpose. Do things exist if you don't see them. Do they exist at all. ;-) Andre'
