Is there any possibility to customize the markup characters used in markdown?
For example: There are currently a number of different "flavours" of markdown out there. Github uses a custom version that deviates from the norm. One of the most productive versions I have used is baked into piggydb, a note taking app I use. It uses the ' as the mark-up character, something that cuts keystrokes. eg. regular markdown uses * and _, both of which require a shift-char. If it is simple to make this configurable, it would be much appreciated. Chris On Friday, March 25, 2016 at 1:34:02 PM UTC-7, Edward K. Ream wrote: > > > On Fri, Mar 25, 2016 at 1:12 PM, Jacob Peck <gates...@gmail.com > <javascript:>> wrote: > > As for the comments thing -- markdown doesn't actually have comment >> syntax! The entirety of a markdown file is supposed to be human readable >> *content*. The workaround is using HTML comments, because the markdown >> spec states that a markdown parser shouldn't manipulate any elements that >> it can't identify, instead passing them verbatim to the finished document. >> > > Thanks. I didn't know that. > > I'm working on the viewrendered (vr) plugin as we speak. The viewrendered > pane now handles url links properly. That is, you can single-click links. > This has been broken basically forever. > > Also, vr now handles @language reasonably, and degrades more gracefully if > either the docutils (for rST) or markdown modules are missing. > > I'll be retiring the viewrendered2 plugin asap, folding whatever features > it might still uniquely provide into vr. > > A bit later I plan to create simplified rst and md *commands*, much like > the rst3 command but simpler. > > 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
