Przejdź do zawartości

Wikipedia:JEdit

Z Wikipedii, wolnej encyklopedii

Program jEdit to edytor tekstowy napisany w Javie i dostępny na większość platform na licencji GPL.

Brudnopis artykułu - przykład kolorowania składni
Inny przykład na kolorowanie składni

Do edytora istnieje wtyczka mwjed, która pozwala na edytowanie artykułów z licznych projektów Wiki. Z polskich projektów obsługiwane są:

  • Wikipedia
  • Wikibooks
  • Wikisłownik
  • Wikicytaty
  • Wikiźródła
  • Wikinews.

Najważniejsze funkcje wtyczki:

  • Możliwość zalogowania się do Wikipedii (lub innego projektu), ściągnięcia stamtąd artykułu i zapisania z poziomu programu;
  • Skryptozakładka (bookmarklet) dla Firefoksa i Safari pozwalająca na natychmiastowe otwarcie artykułu w edytorze (sam edytor powinien być wcześniej otwarty);
  • Kolorowanie składni - dość przejrzyste, można je konfigurować;
  • Liczne skróty klawiaturowe;
  • Możliwość nawigowania pomiędzy artykułami (sprawdzenie treści linku bez wychodzenia z edytora, przełączenie między stroną artykułu a dyskusją).

Uwagi na temat instalacji:

  1. Należy wcześniej zainstalować wtyczkę XML i JakartaCommons. Czynimy to przy użyciu opcji Plugins -> Plugin Manager.
  2. Dopiero potem szukamy w managerze wtyczki mwjed, a jeśli jej nie będzie, ściągamy ze strony http://www.djini.de/software/mwjed/ i rozpakowujemy plik mwjed.jar do katalogu z programem. Dla systemu Windows będzie to domyślnie c:\Program Files\jEdit\jars\.
  3. Niektóre domyślne skróty klawiszowe mogą wchodzić w konflikt z polskimi znakami. W takim przypadku zmieniamy te skróty w dialogu: Utilities -> Global Options -> jEdit -> Shortcuts (z listy rozwijanej na górze wybieramy plugin mwjed).
  4. Może się zdarzyć, że program jednak nadpisze te skróty. Wtedy trzeba wejść do pliku mwjed.jar (można go rozpakować każdym programem do obsługi zipów) i wyedytować plik descriptors\keyboard_windows.properties (lub pasujący do naszego systemu).

Linki zewnętrzne

[edytuj | edytuj kod]