[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: outils texte
From: |
Pascal Legris |
Subject: |
Re: outils texte |
Date: |
Tue, 4 Jul 2006 16:05:48 +0200 |
Bonjour,
Il me semble qu'il y a eu des changements dans la liste des miroirs
pour le téléchargement des plug-ins.
Pour la mettre à jour :
Menu "Plugins" -> "plugin Manager"
Onglet "instal"
bouton "Download Options..."
bouton "Update mirror list" + bouton "Apply" + fermer la fenêtre
ensuite sélectioner "Lilypond Tool" dans la liste + bouton "Install"
Voilà, j'espère que ça marchera
JEdit est un peu lourd comme éditeur et il est un peu énervant
lorsque l'on travaille avec plusieurs encodages différents. Lilypond
Tool est sympa avec sa syntaxe colorée et une pré-vérification des
parenthèses, accolades...
@+,
Pascal
Le 3 juil. 06 à 14:28, Jean GOUJON a écrit :
Concernant l'outil de base pour écrire quel sera le plus adapté ?
Sur la liste anglaise il y a quelques temps on parlait de Jedit. je
l'ai installé mais n'ai pas pu télécharger l'outil spécifique pour
lilypond
salutations à tous.