[ jEdit-devel ] [ jedit-Patches-1698783 ] Make encoding autodetectors as services

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

Patches item #1698783, was opened at 2007-04-12 06:05
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=1698783&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: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Kazutoshi Satoda (k_satoda)
Assigned to: Nobody/Anonymous (nobody)
Summary: Make encoding autodetectors as services

Initial Comment:
This patch establishes an interface EncodingDetector
and makes it service in ServiceManager. Previously
provided autodetectors are still provided as builtin
services. This offers a way to add new encoding
autodetection like Python, HTML, emacs, ... as a part
of a plugin.

Note 1.
This patch replaces r8853: option for encoding
autodetection from buffer local property syntax.
After this patch, this autodetection can be enabled by
adding "buffer-local-property" as an autodetector name
in [General] option pane.

Note 2.
(This is not required, but I strongly recommend.)
Please make the following files added as a copy from
MiscUtilities.java using svn copy first and
overwriting the content in the patch.
- XMLEncodingDetector.java
- BufferLocalEncodingDetector.java
Because these files are extracted from
MiscUtilities.java. Using these steps make the svn log
for new files more useful and save repository size a
bit.


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

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