Kurz vorgestellt:
Frage an die User hier: was haltet ihr von JEdit?
Ich nutze ihn ab und an im Geschäft. Hat einige nützliche Features aber war auch ne Zeit lang ziemlich buggy. Nen Emacs oder so kann er denke ich (noch) nicht ersetzen.
ich hab den noch nie benutzt ich benutz immer Ultra Edit
Ich kenne den JEdit schon seit Jahren, aber nur vom Namen her. Ausprobiert habe ich ihn bislang noch nicht.
Unter Windows benutze ich immer den Java-Editor für kleine Sachen, wo sich das Anlegen eines Projektes auf Grund des Umfangs nicht lohnt.
Ich habe mir jetzt nach meinem Eingangspost den JEdit unter Ubuntu mal installiert und werde erst mal ein wenig testen, um ein paar Eindrücke und Erfahrungen zu sammeln.
Was ich ganz nützlich finde ist das Diff Plugin. Ansonsten kenne ich nämlich keinen (Linux-) Editor der sowas kann.