I’ve been a big fan of Tilda, the dropdown terminal window for Linux, for a long while; pressing F2 to grab a terminal is hardwired into my fingers now, and I’m crippled without it. However, Tilda’s been getting steadily shitter as time’s gone on; more crashy, more unresponsive. Recently, it stopped taking keyboard focus when [...]