6 ms·Ah I see, thx, it's a pretty default configured "gnome-terminal", which probably captures the F10.by protomikron 1y agoAh I see, thx, it's a pretty default configured "gnome-terminal", which probably captures the F10.