ik werk met gnome onder redhat (7.3).
deadkeys doen het (`+a = à , etcetera)
dit werkt in vensters prima, in de terminal ook prima,
maar alleen in een gnome-terminal levert
een dubbel-aanhalingsteken + een spatie
niet een gewoon dubbel aanhalingsteken op, maar er verschijnt een â.
kent iemand dit probleem? in een gewone terminal (ctrl-alt-F2) werkt het namelijk wel goed. in mijn Xmodmap files zie ik geen speciale verwijzingen.
deadkeys doen het (`+a = à , etcetera)
dit werkt in vensters prima, in de terminal ook prima,
maar alleen in een gnome-terminal levert
een dubbel-aanhalingsteken + een spatie
niet een gewoon dubbel aanhalingsteken op, maar er verschijnt een â.
kent iemand dit probleem? in een gewone terminal (ctrl-alt-F2) werkt het namelijk wel goed. in mijn Xmodmap files zie ik geen speciale verwijzingen.