Différences

Ci-dessous, les différences entre deux révisions de la page.

--- jedit [Le 23/10/2012, 11:23] – ajout astuce pour démarrer plusieurs instances 78.193.26.169
+++ jedit [Le 27/11/2019, 15:41] (Version actuelle) – [jEdit] bcag2
@@ Ligne 1: / Ligne 1: @@
+{{tag>Xenial programmation éditeur_de_texte IDE}}
+----
+====== jEdit ======
+{{http://www.jedit.org/images/logo64.png }}
+**[[wpfr>jEdit]]** est un [[:éditeur de texte]] pour programmeurs disponible sous GPL. Il est écrit en Java et tourne sous Mac OS X, Windows, GNU/Linux et de nombreux autres systèmes d'exploitation. Il existe des dizaines de plugins qui ont des fonctionnalités très variées, de la gestion de projet à l'exécution de commandes. La coloration syntaxique supporte nativement plus de 130 formats de fichiers (d'autres formats peuvent être ajoutés au moyen de fichiers XML). jEdit supporte l'encodage de caractères UTF-8 et de nombreux autres.
+jEdit est très personnalisable et peut être étendu à l'aide de macros écrits en BeanShell, Jython, JavaScript et quelques autres langages de script.
+L'auteur principal du logiciel est Slava Pestov. L'éditeur est en développement depuis 1998.
+===== Pré-requis =====
+  * Disposer des [[:sudo|droits d'administration]].
+  * Disposer d'une connexion à Internet configurée et activée.
+  * [[:Java]] doit être installé.
+===== Installation =====
+Pour installer jEdit, il suffit d'[[:tutoriel:comment_installer_un_paquet|installer le paquet]] **[[apt>jedit]]**.
+===== Configuration =====
+==== Meilleure intégration à Gnome ====
+  * Dans le menu Utilitaires->Options générales, section « Apparence »,sélectionner **GTK+** pour « modifications Look & Feel ».
+  * Plusieurs jeux d'icônes sont téléchargeables [[http://community.jedit.org/?q=taxonomy/page/or/23|ici]].
+Voir par exemple //GNOME Clearlooks icon theme for jEdit// : ([[http://community.jedit.org/?q=node/view/2978|Présentation]] - [[http://www.webkitchen.cz/tmp/jedit-clearlooks.png|Capture d'écran]]).
+==== Les plugins ====
+=== Installation ===
+Vous pouvez installer une multitude de plugins sur jEdit grâce à son gestionnaire de plugins ( Menu Plugins » Gestion des plugins...)
+=== Erreur pour installer un plugin ! ===
+Si vous avez une erreur lorsque vous choisissez d'installer un plugin, allez dans : **Utilitaires -> Options générales -> Gestionnaire de plugin**,
+cliquez sur [Mettre à jour la liste des miroirs] et choisissez un autre miroir.
+Normalement vous pourrez installer facilement vos plugins. (si ça ne marche toujours pas, choisissez un autre miroir ^^)
+=== Traduction des plugins ===
+Vous retrouverez la traduction de certains plugins sur la page de Jojaba [[http://jojaba.free.fr/?/Traductions-diverses/Traduction-jEdit3|ici]]
+==== Démarrer une nouvelle instance ====
+Par défaut, jedit utilise une instance unique (mode "serveur"), c'est à dire qu'à chaque fichier ouvert avec jedit, il utilisera l'instance courante et l'ajoutera dans la liste des buffers ouverts.
+On peut avoir besoin d'utiliser des instances disjointes (par exemple lorsqu'on travaille sur plusieurs projets en parallèle, pour que chaque instance n'affiche que les fichiers liés à son projet).
+Pour cela, utiliser l'option '-noserver' :
+<code>jedit -noserver</code>
+===== Problèmes connus=====
+====Caractères spéciaux====
+Si vous n'arrivez pas à taper les caractères spéciaux (tels que :~#{[|`\^...), une solution((
+//(merci à faical117)//)) consiste à [[:tutoriel:comment_modifier_un_fichier|modifier avec les droits administrateurs]] le fichier **/usr/bin/jedit** pour ajouter en cinquième ligne <code>XMODIFIERS=''</code> comme ceci :
+<code>
+#!/bin/sh
+#
+# Runs jEdit - Programmer's Text Editor.
+#
+XMODIFIERS=''
+</code>
+===== Liens externes ======
+  *  [[http://www.jedit.org/|Site officiel]]
+----
+//Contributeurs : [[:utilisateurs:Jojaba]].//

Différences

Outils pour utilisateurs

Outils du site

Outils de la page

Divers