[ jEdit-devel ] [ jedit-Merge Requests-3577121 ] Fix 2832769, 2998294, and 3193168

[SourceForge.net <no...@so...>]

Merge Requests item #3577121, was opened at 2012-10-13 13:18
Message generated for change (Settings changed) made by kpouer
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1235750&aid=3577121&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: None
Group: for 5.0.x
Status: Open
Resolution: None
Priority: 9
Private: No
Submitted By: Alan Ezust (ezust)
>Assigned to: Alan Ezust (ezust)
Summary: Fix 2832769, 2998294, and 3193168

Initial Comment:
Revs # 22361, 22363. 


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

>Comment By: Matthieu Casanova (kpouer)
Date: 2012-10-13 15:19

Message:
I cannot review it, but it seems it works fine so I think you can merge it

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

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