On Sat, Nov 14, 2015 at 11:28 AM, 'Terry Brown' via leo-editor
<[email protected]> wrote:
> On Sat, 14 Nov 2015 07:48:31 -0600
> Kent Tenney <[email protected]> wrote:
>
>> declaring
>> @string next-placeholder-abbrev = ,,
>>
>> with scripting turned off didn't work for me
>
> Could be a temporal sequencing error, i.e. using features before
> they're implemented doesn't always work :-)
Again, idiot, reading as this works OOTB.
>
> I've just pushed with abbreviations on by default, Edward can decide if
> that goes too far...
>
> - you can't type ,, now, it selects the next <|placeholder|> or just
> gets replaced with nothing. I guess failing to find a placeholder
> should yield ",,", although that would be less convenient for
> placeholder use
> - typing html;; gives an html template with a selected placeholder
> - typing date;; gives {|{x=time.asctime()}|} unless
> @bool scripting-abbreviations = True
> or
> @bool scripting-at-script-nodes = True
>
> To type ",," you have to type ", ," and delete the space. But maybe
> that's ok, it's a way to let people find abbreviations :-)
Along those lines, a convention of :
@file??=<|The at-file options are:
\: @auto blah
\: @edit blahblah
\: @safe blahblahblah|>
IE: the ?? suffix provides inline help which disappears when you type
Just tried it, and indeed, multiline <| ... |> works
Sorry, that is just TOO cool.
>
> Alternatively, we could have a different default "next placeholder"
> abbreviation. Really, does it even need to be an abbreviation? If it
> was a command, you could bind it to any non-inserting key.
>
> Kent - I went with
> @string abbreviations-next-placeholder = ,,
> for consistency with other settings names.
Makes sense, someone working with csv files
having empty fields would want to change it.
>
> Cheers -Terry
>
> --
> 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 http://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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
