Ctrl-G, Ctrl-G in toolbox sometimes ends in a somewhat long loop. Not an endless one but
a very long one anyway.
Those who use a linux box may want to open a terminal, run "top" and type "kill + the job number of tlapm".
For instance "k 6666". (No connection with the Da Vinci Code.)
That works pretty well, simply "toolbox" launches a window announcing that "tlapm" has crashed.
Which is true.
--
FL