Quantcast

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

classic Classic list List threaded Threaded
4 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Ekkart Kleinod

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

Status: open
Group:
Created: Mon Apr 17, 2017 12:57 PM UTC by Ekkart Kleinod
Last Updated: Mon Apr 17, 2017 12:57 PM UTC
Owner: nobody
Attachments:

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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Dale Anson-2
  • status: open --> closed-rejected
  • Group: -->
  • Comment:

Those settings are just defaults. You can change the default values using Utilities - Global Options - Editing to whatever you'd prefer, no patch necessary.


[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 12:57 PM UTC
Owner: nobody
Attachments:

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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Ekkart Kleinod
In reply to this post by Ekkart Kleinod

In my jEdit the default values of the global options are overruled by the mode values. This is how I stumbled over it, that only in markdown editors my settings are overruled.


[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 01:33 PM UTC
Owner: nobody
Attachments:

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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Ekkart Kleinod
In reply to this post by Ekkart Kleinod

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 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 [hidden email] 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.


------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
--
-----------------------------------------------
jEdit Developers' List
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...