[ jEdit-devel ] [jedit:patches] #597 markdown mode without tab and line length settings

This means the options for mode "global default". I did not try to set editing options for a specific mode, as this is what I want to avoid.


---

** [patches:#597] markdown mode without tab and line length settings**

**Status:** closed-rejected
**Group:** 
**Created:** Mon Apr 17, 2017 12:57 PM UTC by Ekkart Kleinod
**Last Updated:** Mon Apr 17, 2017 03:38 PM UTC
**Owner:** nobody
**Attachments:**

- [markdown.patch](https://sourceforge.net/p/jedit/patches/597/attachment/markdown.patch) (450 Bytes; text/x-patch)


Markdown mode sets tab site, indent size and max line length, so one has to override these settings every time a markdown file opens.

I fixed this, as I think, tab settings and line length settings are individual to the programmer, not the language used.

The patch is for `modes/markdown.xml`



---

Sent from sourceforge.net because jed...@li... is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.