how to fix jEdit 5.3.0 on OSX with Retina screen

jEdit is a great little editor: very flexible, much plugins, such macros, so java.
However, for some reason jEdit developers strenuously refuse to fix their OSX package to support Retina screens. Three years since these screens started getting popular, you still have to repeat the following procedure after each jEdit installation or update, in order to avoid getting blurry fonts everywhere:

1. quit jEdit if open
2. in Finder, right-click on jEdit in Applications, select Show Package Contents
3. go to the Contents folder, then edit Info.plist by adding these two lines at the end of the file, just before </dict>:
   <key>NSHighResolutionCapable</key>
   <true/>
4. force OSX to re-cache the plist by executing the following command in a terminal:
   defaults read /Applications/jEdit.app/Contents/Info.plist
5. Restart jEdit. Icons will still look crappy (the "classic" theme slightly better than "tango"), but the rest will be ok.

On a more positive note, jEdit 5.3.0 (running on Java 1.8.0_66) seems to have fixed the crashes I've had for a year. Welcome back, "little editor that could".

jEdit macro to add encoding declaration to python files

This is a little macro to add a PEP263-compliant string at the top of all open buffers in jEdit. It should probably be improved to skip the shell declaration line (if there), and not operate if the line is already there -- feel free to send patches ;D

Download Add_Encoding_Decl_to_Buffers.bsh

jEdit plugin for Thinlet dev

Too bad I won't use it soon, but here's a nice jEdit plugin to display Thinlets in realtime as you modify the XML.

Random thoughts

Tried out the GData Java API. It works fine with Blogger, even though it's slightly cumbersome to constantly have to manipulate strings to extract the "real" id of any given object; it would have been nice to have some sort of dictionary structure, like this:
{"id_user":1234,"id_blog":1234,"id_post":5678}
but I guess that's way too nice for the java world! :)

The more I think about it, the more the idea of a jEdit plugin for blogging makes sense. It would just be a matter of writing lots of scaffolding (options screens, layouts etc), like you always have to do in Java. Is there an equivalent of Qt-Designer in the Java world, where you design your interface, save, and get a nice class ready to be used? That would speed up things immensely.

The Linux community deserves better blogging tools

Dear lazyweb, did the KDE community ever produce a decent blogging tool?

All I can find are half-baked applets, or java programs, or GNOME programs, and they all fail miserably when trying to connect to Blogspot since Google launched the new API.

We only need a little plugin for Kate or Quanta to do a few things: connect, open a post, open a draft, publish. I tried to do it myself, with Python, adapting the examples that David Boddie posted a few years ago, but so far no luck (whenever the plugin is called, Kate segfaults); I guess it would be much easier in C++, I really should learn it sooner or later. Doing it the other way (by including kparts from Kate and then adding stuff) is wrong and much more wasteful, lots of tools could potentially get instant gains by having a KService to interoperate with the GData API. Or maybe something like this will be in KDE 4...?

If anybody builds it, I swear I volunteer for documentation and italian translation.

EDIT: what about a jEdit plugin? This would even be cross-platform. Uhmmm, nice little project...