Ok, \\n should work in 9e9539d, there was special handling of \n in the code
already that made \newcommand etc. impossible. I think it unavoidably breaks
theoretically possible abbreviations in people's local settings, but (a) they
probably don't exist, and (b) better that than have the code unable to
represent text needed for a demonstrated use case (\newcommand etc. in LaTeX).
Cheers -Terry
From: Largo84 <[email protected]>
To: leo-editor <[email protected]>
Cc: [email protected]
Sent: Tuesday, February 28, 2017 10:10 AM
Subject: Re: How to escape \n in abbreviations?
Yes, and I also tried '\n' and "\n" to no avail.
Rob.........
On Tuesday, February 28, 2017 at 10:52:58 AM UTC-5, Terry Brown wrote:
Sorry, didn't read carefully enough. Have you tried \\n ?
Cheers -Terry
From: Largo84 <[email protected]>
To: leo-editor <[email protected]>
Sent: Tuesday, February 28, 2017 9:47 AM
Subject: Re: How to escape \n in abbreviations?
That doesn't really answer the question. I use the `\:` syntax often to create
new lines in abbreviations as you demonstrate. What I need is the text output
to be `\n`. I need to somehow escape the `\n` such that when executed it
doesn't generate a new line and strip out the `\n' string literal.
Rob........
On Tuesday, February 28, 2017 at 9:05:59 AM UTC-5, Terry Brown wrote:
leo-editor/leo/config/ leoSettings.leo#@settings--> Abbreviations-->@data
global-abbreviations
illustrates this:
# type html;; to insert template and ,, to select next <|placeholder|>
html;;=<html>
\:<head>
\:<title><|title|></title>
\:<style>
\:</style>
\:</head>
\:<body>
\:<|content|>
\:</body>
\:</html>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+...@ googlegroups.com.
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/ group/leo-editor.
For more options, visit https://groups.google.com/d/ optout.
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
