| Re: [EGD-discu] Inversion espace insécables normale et fine – Re: [EGD-discu] Espace insécable en Maj+Espace |
[ Thread Index |
Date Index
| More ergodis.org/discussions Archives
]
On Tue, 16 Feb 2016 20:22:24 +0100 (CET)
Marcel Schneider <bkn.ema@xxxxxxxxx> wrote:
> Dans le contexte cité il n’est pas question de raccourcis clavier
> mais d’insécables tapées par erreur. Quoi qu’il en soit, c’est ce que
> j'avais anticipé, sauf que pour le coup cela s’est déjà passé.
> Néanmoins il n’aurait fallu ni abandonner le bépo, ni râler contre
> l’éditeur : – pour le logiciel, on peut à tout moment paramétrer un
> raccourci clavier fonctionnant via l’interface graphique, avec
> Clavier+. – sur le bépo : 1) remplacer l’EIC par l’espace normale. 2)
> remplacer l’EFI par l’EIC. 3) remplacer le $ et le # tous les deux
> par l’EFI, donc deux EFI, une en base, une en maj. 4) remplacer l’ß
> par $, et l’ð par # – en admettant que le croisillon est appelé
> dièse, donc D comme dièse. 5) placer l’ß en tréma s – admettant que
> tous les autres caractères spéciaux de l’allemand sont avec tréma, au
> moins les voyelles (umlaute). 6) placer l’ð en tréma d, sans se faire
> de soucis car ceux qui apprennent l’islandais pourront aussi retenir
> que l’ed est dans le groupe tréma.
Qu’entends-tu par Clavier+. ? De quel logiciel parles-tu ? De quel OS
parles-tu ?
2) vu son usage théoriquement rare pourquoi pas, mais pour ceux qui
voudront vraiment l’EIC, c’est quand même bien relou
3) ça fait vachement loin pour un symbole aussi courant
4) effet potentiellement inattendu : cela facilite l’enchaînement ${}
qui peut servir assez souvent en programmation.
Les altgr main droites sont pas trop pire, ça peut passer.
Par contre, # et ♯ n’ont rien à voir, # n’est pas un *** de dièse.
5+6) je suis pas super chaud mais faut voir le compromis dans sa
globalité.
Bref, c’est surtout le 3) qui me gêne le plus.
--
Nicolas
--
Pour ne plus recevoir les messels de cette liste de discussion, envoyez un messel avec pour destinataire discussions-REQUEST@xxxxxxxxxxx et pour sujet "unsubscribe".