Different editor font for different file types?

Is that possible? I am dearly missing it:
Some resource files (e.g. *.properties) use unicode encoding, so I need a unicode font for those.
Yet I haven't found an acceptable monospaced unicode font, so my source files look very ugly.
In essence I'd like to have a general unicode font and a different font for java editor windows.

2 comments
Comment actions Permalink

Stephen Kelvin wrote:

Is that possible? I am dearly missing it:
Some resource files (e.g. *.properties) use unicode encoding, so I need a unicode font for those.
Yet I haven't found an acceptable monospaced unicode font, so my source files look very ugly.
In essence I'd like to have a general unicode font and a different font for java editor windows.


You do know that the java properties format is iso-8859-1 only?
If so, sorry. Just checking.

/Kreiger

1
Comment actions Permalink

That's true, be I wrote my own class UnicodeProperties that can deal with properties files in unicode formats.

We had problems again and again with localization due to corrupted properties files that were saved in the wrong encoding.
So I decided that storing all files in unicode in CVS, using unicode at runtime and only ever giving unicode to our translators will save us from a lot of hassle.
Java 1.5 can store properties in xml files which off course supports any encoding, but we cannot use 1.5 yet, nor is an xml file as convenient to handle as 'plain' text.

1

Please sign in to leave a comment.