ich finde den Editor weiterhin super. Wird zufällig noch ein Paket für Ubuntu 12.10 erscheinen? Wenn ich versuch die Version für 12.04 zu installieren bekomme ich die Meldung "Abhängigkeit nicht erfüllbar: libpoppler-qt4-3 (>=0.18)". Soweit ich weiß habe ich libpoppler-qt4-4 installiert.
Oder vielleicht kannst du es auch einfach so installieren und die Warnung ignorieren...
(das Linuxversionsmanagement ist sowieso eine Katastrophe, bei mir hat Debian bei einem Update die gcc-Version vermurkst und jetzt kann ich überhaupt nichts mehr richtig installieren )