Mit ‘Eclipse’ getaggte Artikel

06.04.2011
[Eclipse Helios] Sumatra PDF als texlipse Viewer

Eigentlich habe ich zum teXchen meistens TeXnicCenter benutzt. Doch da ich jetzt mit vielen Leuten an einer TeX-Datei schreibe und TeXnicCenter nicht wirklich UTF-8 unterstützt, bin ich auf Eclipse mit dem Plug-in Texlipse umgestiegen.
Zudem bietet Eclipse noch die Möglichkeit SVNs direkt mit einzubinden, was es ermöglicht direkt nach der Bearbeitung die Datei zu commiten.

Eine super Anleitung, wie man Eclipse LaTeX beibringt gibt es hier

So nun aber zu dem eigentlichen Thema dieses Beitrags. Eclipse unterstützt standardmäßig den Standard- PDF Reader, in meinem Fall Acrobat.
Leider ist es bei Acrobat nicht möglich die Datei beim kompilieren der TeX-Datei geöffnet zu lassen.
Das ist nun kein so großes Problem, aber auf Dauer nervt es schon vor allem, wenn man auf zwei Bildschirmen arbeitet und auf dem einen schreibt und auf dem anderen die Datei auf hat.

Das zweite in meinen Augen weitaus störendere Problem ist, dass man nach jedem Öffnen der Datei im Acrobt Reader erst noch zu der entsprechenden Stelle scrollen musste, um zu sehen ob die Änderung den gewünschten Effekt hat.

Sumatra PDF ist nun ein Programm, was diese beiden Probleme behebt.
Nun war nur noch die Hürde zu nehmen, wie man Eclipse beibringt, dass er die Datei ordnungsgemäß in Sumatra PDF öffnen soll.

(mehr …)

03.01.2011
[Eclipse 3.61] Plugins deinstallieren oder updaten

Früher gab es bei Eclipse die Möglichkeit über Help -> Update Software -> Manage Configuration alte Plugins zu deinstallieren.
Dieser Menüpunkt wurde nun entfernt und der Weg zur Deinstallation wurde ein wenig verschlungener:
Über Help -> About Eclipse SDK -> Installation Details (unten links)

About Eclipse SDK

Unter dem Reiter Installed Software kann man die installierten Plugins einsehen.

Installed Software

Installed Software

Wenn man das gewünschte Plugin ausgewählt hat, werden im unteren Teil des Fensters die Button Update und Uninstall eingeblendet einfach die gewünschte Aktion auswählen und schon ist das Plugin deinstalliert bzw. aktualisiert.