« MediaWiki:Gadget-specialchars.js » : différence entre les versions
Contenu supprimé Contenu ajouté
ajout s long |
Aucun résumé des modifications |
||
Ligne 11 :
tb.onkeyup=function(e) {
var key = (window.event) ? event.keyCode : e.keyCode;
startPos = tb.selectionStart;
Ligne 17 ⟶ 16 :
if( endPos == startPos ) {
h = tb.value.substring(0, startPos-2);▼
m = tb.value.substring(startPos-2, startPos);
m4 = tb.value.substring(startPos-4, startPos);
▲ h = tb.value.substring(0, startPos-2);
f = tb.value.substring(startPos);
todo=true;
if(m[1]=="'"){
m = m[0]+"’";
Ligne 28 :
if(m=="'’") m="''";
}
case "^s" : m = "ſ"; break;
case "oe" : m = "œ"; break;
Ligne 44 :
default : todo = false;
}
if(!todo) {
h = tb.value.substring(0, startPos-3); m=m3; todo = true;
switch(m) {
case "^ff" : m = "ff"; break;
case "^fi" : m = "fi"; break;
case "^fl" : m = "fl"; break;
case "^st" : m = "ſt"; break;
case "^St" : m = "st"; break;
default : todo = false;
}}
if(!todo) {
h = tb.value.substring(0, startPos-4); m=m4; todo = true;
switch(m) {
case "^ffi" : m = "ffi"; break;
case "^ffl" : m = "ffl"; break;
default : todo = false;
}}
if(todo) {
var textScroll = tb.scrollTop;
|