[ jEdit-devel ] Proposed addition: text-importers

[Paul L. <pa...@ac...>]

(this was filed as an issue but was invited to be avoided...)
I'd like to suggest the following enhancement to jEdit.

Hi,

In my jEditOQMath efforts to tune jEdit for ActiveMath content
editing, I have come to a nifty feature which, I think, would be
worth expanding: TextImporters.

In the patch I submit, TextImporter objects are called at drop-time
and maybe paste time. In all cases, when inserting plain-text.
They check the text's content (I do it with a regexp) and, if
accepted, insert a translated content.

The usage, in the case of jEditOQMath is in dropping URLs.
These URLs are typically unreadable monsters only for
consumption by browsers and servers. However, they do contain
an interesting information for input into the editor. This information
is an ID for the object pointed at.
At import-time it is evaluated wether such a reference can be
pasted in the form of this or that element. (thanks the great
SideKick!). If nothing is possible, the drop is returned to be a text-
insertion which will paste the (maybe) ugly URL.
Similarly, I intend to use this to drop-in a semantic reference to a
mathematical symbol.

I would like to suggest to take this in.
The patch is in comparison to jEdit 4.2.

paul
https://sourceforge.net/tracker/? 
func=detail&atid=100588&aid=1090319&group_id=588