Eli Zaretskii <
eliz@gnu.org> schrieb am So., 31. Dez. 2017 um 18:30 Uhr:
> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Sun, 31 Dec 2017 17:03:14 +0000
> Cc: 29812@debbugs.gnu.org
>
> I mean some way of inserting “foo” inside a string. Is that possible
> somehow?
>
> Sure, either by inserting the characters in some other way, or by using `` and '' (double apostrophe).
Then maybe we should just give up on electric-quote-replace-double
inside strings, and use double apostrophes instead?
Why? It works as designed and expected – that is, a double quote will terminate the string. That is what users want most of the time. Also, there are many languages where strings aren't double-quoted, such as Python.