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
|
