First of all I want to mention that TXC works great! But I
think one feature will be very handy to use, namely the
automatic check of hooks in formulae etc. Because
setting things in hooks and forget one hook means a lot
of errors and with long formulae it will be very difficult to
find the missing hook. A example is the way the matlab
editor (12) treats this feature. I hope to give you some
inspiration to make TXC still better.