On Mon, Aug 4, 2014 at 3:18 AM, Georg Simon <[email protected]> wrote: > In Factor line comments start with an exclamation point followed by a space. > But the @language directive leads to lines like > > !@+leo-ver=5-thin > > instead of > > ! @+leo-ver=5-thin
My apologies for the delay in responding. This has been fixed at git rev 0dbf0f1... The fix was to language_extension_dict in leoApp.py, not to leo/modes/factor.py. Edward -- 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.
