[ jEdit-devel ] [ jedit-Patches-1834109 ] improved ml mode

Patches item #1834109, was opened at 2007-11-18 17:51
Message generated for change (Settings changed) made by blueyed
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1834109&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
>Category: texteditor
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Lucas Dixon (lucasd)
>Assigned to: daniel hahler (blueyed)
Summary: improved ml mode

Initial Comment:
Made the sml mode slightly more complete (added mode preliminaries), added indentation, and fixed the symbol highlighting.

----------------------------------------------------------------------

Comment By: Lucas Dixon (lucasd)
Date: 2007-11-20 02:18

Message:
Logged In: YES 
user_id=799026
Originator: YES

Yes, it's been tested in 4.3pre11. 

I've also just now added identification for values and
structures/signatures. 
One bug: it incorrectly highlights "type" at the end of another word if it
is followed by a space. I'm not sure how to fix this - I'd like regexp's
for mark_following/mark_before. 

I'd also like them for bracket identification - although this might slow
things down a bit... ? Generally, I think indentation needs a serious
re-think. Also, keywords/colours should probably associated with a mode
rather than being global - ML programmers sometimes like to distinguish
between functions and values in syntax highlighting. But more generally,
different programming languages have different kinds of keywords - it is
not something that is inherently global. 

But for now, this mode is more or less usable - the indentation failure
being the most frustrating thing. 
File Added: ml-lucas.xml

----------------------------------------------------------------------

Comment By: Alan Ezust (ezust)
Date: 2007-11-20 01:47

Message:
Logged In: YES 
user_id=935841
Originator: NO

Has it been tested against 4.3pre11?

--alan


----------------------------------------------------------------------

Comment By: Lucas Dixon (lucasd)
Date: 2007-11-19 21:25

Message:
Logged In: YES 
user_id=799026
Originator: YES

Having thought about it further, I've realised that the indentation
machinery in jEdit is not flexible enough to support a sensible ML
indentation. However, the attached update to the ml-mode does at least a
little. 
File Added: ml-lucas.xml

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1834109&group_id=588