[ jEdit-devel ] [ jedit-Bugs-1090319 ] Proposed addition: text-importers

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

Bugs item #1090319, was opened at 2004-12-23 06:31
Message generated for change (Comment added) made by spestov
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1090319&group_id=588

Category: editor core
Group: None
>Status: Closed
Resolution: None
Priority: 5
Submitted By: Paul Libbrecht (polx)
Assigned to: Nobody/Anonymous (nobody)
Summary: Proposed addition: text-importers

Initial Comment:
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

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

>Comment By: Slava Pestov (spestov)
Date: 2004-12-29 16:09

Message:
Logged In: YES 
user_id=2280

Don't submit feature requests to the bug tracker!

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

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