This bug is not really related to the side tools, but rather a bug concerning the input widgets: for the moment, such widgets do not admit exactly the same functionality as normal TeXmacs widgets (e.g. they do not have menus and such). For the moment, it is pretty easy to segfault TeXmacs from inside an input widget.