[DrJava] [ drjava-Feature Requests-1213751 ] Option to choose default file encoding

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

Feature Requests item #1213751, was opened at 2005-06-02 14:46
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1213751&group_id=44253

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: Definitions (source editor)
Group: None
Status: Open
Priority: 5
Submitted By: Dan Smith (dlsmith)
Assigned to: Nobody/Anonymous (nobody)
Summary: Option to choose default file encoding

Initial Comment:
This request arose from the following email:

****************

From:   mic...@ho...
Subject: [JAVAPLT] question
Date: May 15, 2005 1:32:45 AM CDT
To:   ja...@ri...

Helo. I have a question with DrJava.
 
When I type japanese or chinese on DrJava, it displays them 
correctly. But when I open the file after I saved and closed, it can't 
display. Those characters are all "?".
Can't we make java programs with DrJava using foreign languages?
 
Please tell me.
Thank you.

****************

I would suggest adding a drop-down list to the preferences dialog box 
that lists all the platform's supported character encodings 
(java.nio.charset.Charset.availableCharsets()) and lets the user 
choose one for all document reading and writing.  The actual 
encoding change could be implemented (I believe) by invoking 
DefaultEditorKit.write(Writer, Document, int, int) instead of 
DefaultEditorKit.write(OutputStream, Document, int, int), providing an 
appropriately-configured Writer.


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

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1213751&group_id=44253