Pytania otagowane jako jedit

Jak poprawić renderowanie czcionek w Jedit?

Zacząłem używać Jedit ze względu na łatwą konfigurację składni i składania niestandardowego języka. Wygląda dobrze, z wyjątkiem faktu, że renderowanie czcionek wydaje się najgorsze spośród wszystkich edytorów (przynajmniej w systemie Linux), których użyłem (Vim, Komodo, SublimeText). Moje oczy są bardzo wrażliwe na aliasing, w rzeczywistości robi się mylące, gdy renderowanie …

2 linux java fonts jedit

Wtyczka Markdown dla jEdit?

Chcę używać składni markdown do robienia notatek w klasie, więc rozejrzałem się i znalazłem to jako częściowa odpowiedź. Zastanawiam się teraz, czy istnieje dobra wtyczka Markdown (konkretnie, w przeciwieństwie do składni podobnej do Markdown) dla jEdit.

1 plugins markdown jedit

Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.

Licensed under cc by-sa 3.0 with attribution required.