herbstkaelte schrieb:
in meinem Fall wollte ich allerdings 3,5 Zoll mit dem doppelten Hochkomma schreiben, was allerdings die Formatierung verhaut.
Warum machst du auch sowas, das Zollzeichen " befindet sich auf deiner Tastatur unter
⇧ +
2 . 😀 Auch wenn dieses natürlich häufiger als Ersatz für Anführungszeichen verwendet wird. (Die offiziellen deutschen Anführungszeichen „“ befinden sich übrigens unter
Alt Gr +
V und
Alt Gr +
B – das nur so nebenbei
Ist es möglich, die doppelten Hochkommas zu "maskieren"? \'\' geht natürlich nicht. In der Hilfe zum Syntax habe ich nichts dazu gefunden.
Stimmt leider. Ich würde an deiner Stelle einen richtigen Bugreport erstellen. Eine wirkliche Möglichkeit zum Maskieren fällt mir da nämlich wirklich nicht ein, die Backticks ` maskieren hier nämlich Plaintext
, damit würde es gehen, sieht aber auch nicht aus: ''
.
Mit diesen Backticks haben wir auch häufiger Probleme, weil die häufig für Apostrophen gehalten werden, obwohl dafür das Hochkomma ' oder noch besser der echte Apostroph
Alt Gr +
⇧ +
N ’ viel besser sind. Im Gegensatz zu ''
kann man ` aber ordentlich maskieren. Ok, ist etwas Offtopic. Ich gebe dir Recht, dass es inkonsistent ist, wenn man bestimmte Syntaxelemente nicht ordentlich maskieren kann.
~jug