Peter Jakobi

It looks like I opened a duplicate of this in #1802 (as I searched for insert tip and heat, instead of burned fingers :). Thx to @ia for spotting it...

Rethinking my previous post: shouldn't the title of this issue be changed to **cannot detect missing/broken tip when heating (incl. during tip switching)?** Maybe also label it a **bug** now?...

Thx for the tip with the hover mode, slightly cumbersome, but does the trick :). resize bug: speed seems to vary depending on terminal emulator, but crashing it does in...