
Ivaylo Valkov (Ивайло Вълков) at
I've compiled from source (probably the master branch) I don't remember when. I don't know when I'll have the time to install the new version. And as we are on the topic, is there any way to make the UI look better on GTK+/GNOME 3 desktop?