Hallo, Ich habe momentan das Problem, das ich unter Ubuntu keine spitzen Klammern und kein Pipe (das ist der senkrechte strich den man mit AltGr + „Spitzklammertaste“ macht) tippen kann. Das mit dem Pipe ist nur lästig, da man diverse Smilies nicht mal eben „auf die Schnelle“ tippen kann, die Spitzen klammern sind schon eher ein Problem da ich des öfteren mal HTML-Dokumente bearbeite.
Es kommt mir vor als wäre die taste deaktiviert oder so, alle anderen Tastenkombinationen mit AltGr funktionieren ja wie gewohnt.
Gruß
Christian