Bonjour à tous,
Une petite astuce pour ceux qui utilisent Linux, Lilypond et Jedit !
Pour copier coller dans Jedit :
utilities / global options / mouse
- cocher "quick copy using middle mouse button"
Avec cette astuce, on sélectionne un texte et, en plaçant le curseur à l'endroit où on veut le coller, on clique à gauche et hop, le texte est magiquement collé. Plus besoin de passeer par Ctrl-C et Ctrl-V.
C'est une astuce couramment utilisée sous linux (en console) mais le fait qu'elle soit possible sous Jedit est un grand avantage.
Si j'enfonce une porte ouverte, tant pis.
···
--
JJG
LibreOffice 3.3.4 (Ubuntu package 1:3.3.4-0ubuntu1)
LinuxMint Katya