Nekem F1-re jön elő ;-) (persze ez állítható). Tilda-t használok. Előtte volt guake, de azzal valami bajom volt. A tilda-val egyelőre meg vagyok elégedve.