<div dir="ltr">The problem seems to occur when the terminal is losing focus, no need to switch desktop.<br></div>