Hätte mal eine Frage zu den Eigenschaften im Terminal, wenn ich mit der Maus einen Doppelklick auf einen String abgebe, dann werden bestimmte Textstellen Makiert, das kann allerdings von Rechner zu Rechner verschieden sein.
Wenn ich z.B. einen String:
string0 string1.string2
habe, diesen mit einem Doppelklick Makieren möchte, bekommen ich einmal:
string0 string1.string2
und auf einem anderen Rechner:
string0 string1.string2
Wo stellt man das Verhalten ein?