MediaWiki:Edittools.js: Difference between revisions
Jump to navigation
Jump to search
Timm Stolten (talk | contribs) (Created page with "// <source lang="javascript"> /* EditTools support: add a selector, change into true buttons, enable for all text input fields The special characters to insert are defined ...") |
Timm Stolten (talk | contribs) No edit summary |
||
Line 1: | Line 1: | ||
/ | /* <source lang="javascript"><nowiki> Top of Javascript */ | ||
// Drop down box for the Special character menu in [[MediaWiki:Edittools]] | |||
// will be called from [[MediaWiki:Common.js]]. | |||
// Adapted from: | |||
// http://commons.wikimedia.org/wiki/MediaWiki:Edittools.js | |||
/ | // Switch for people that don't want it | ||
if (load_edittools == true) | |||
{ | |||
// | function addCharSubsetMenu() { | ||
var specialchars = document.getElementById('specialchars'); | |||
if (specialchars) { | |||
var menu = "<select style=\"display:inline\" onChange=\"chooseCharSubset(selectedIndex)\">"; | |||
menu += "<option>Standard</option>"; | |||
menu += "<option>Wiki Syntax</option>"; | |||
menu += "<option>Math</option>"; | |||
menu += "<option>French</option>"; | |||
menu += "<option>German</option>"; | |||
menu += "<option>Italian</option>"; | |||
menu += "<option>Portuguese</option>"; | |||
menu += "<option>Spanish</option>"; | |||
menu += "</select>"; | |||
specialchars.innerHTML = menu + specialchars.innerHTML; | |||
// Standard-CharSubset | |||
chooseCharSubset(0); | |||
} | |||
} | |||
// CharSubset selection | |||
function chooseCharSubset(s) { | |||
var l = document.getElementById('specialchars').getElementsByTagName('p'); | |||
for (var i = 0; i < l.length ; i++) { | |||
l[i].style.display = i == s ? 'inline' : 'none'; | |||
// l[i].style.visibility = i == s ? 'visible' : 'hidden'; | |||
} | |||
} | |||
// Menu insertion | |||
if (window.addEventListener) | |||
window.addEventListener("load", addCharSubsetMenu, false); | |||
else if (window.attachEvent) | |||
window.attachEvent("onload", addCharSubsetMenu); | |||
} | |||
/* Bottom of Javascript </nowiki></source>*/ | |||
Revision as of 14:46, 23 March 2014
/* <source lang="javascript"><nowiki> Top of Javascript */ // Drop down box for the Special character menu in [[MediaWiki:Edittools]] // will be called from [[MediaWiki:Common.js]]. // Adapted from: // http://commons.wikimedia.org/wiki/MediaWiki:Edittools.js // Switch for people that don't want it if (load_edittools == true) { function addCharSubsetMenu() { var specialchars = document.getElementById('specialchars'); if (specialchars) { var menu = "<select style=\"display:inline\" onChange=\"chooseCharSubset(selectedIndex)\">"; menu += "<option>Standard</option>"; menu += "<option>Wiki Syntax</option>"; menu += "<option>Math</option>"; menu += "<option>French</option>"; menu += "<option>German</option>"; menu += "<option>Italian</option>"; menu += "<option>Portuguese</option>"; menu += "<option>Spanish</option>"; menu += "</select>"; specialchars.innerHTML = menu + specialchars.innerHTML; // Standard-CharSubset chooseCharSubset(0); } } // CharSubset selection function chooseCharSubset(s) { var l = document.getElementById('specialchars').getElementsByTagName('p'); for (var i = 0; i < l.length ; i++) { l[i].style.display = i == s ? 'inline' : 'none'; // l[i].style.visibility = i == s ? 'visible' : 'hidden'; } } // Menu insertion if (window.addEventListener) window.addEventListener("load", addCharSubsetMenu, false); else if (window.attachEvent) window.attachEvent("onload", addCharSubsetMenu); } /* Bottom of Javascript </nowiki></source>*/