مدیاویکی:Gadget-prota.js
نکته: پس از انتشار ممکن است برای دیدن تغییرات نیاز باشد که حافظهٔ نهانی مرورگر خود را پاک کنید.
- فایرفاکس / سافاری: کلید Shift را نگه دارید و روی دکمهٔ Reload کلیک کنید، یا کلیدهای Ctrl-F5 یا Ctrl-R را با هم فشار دهید (در رایانههای اپل مکینتاش کلیدهای ⌘-R)
- گوگل کروم: کلیدهای Ctrl+Shift+R را با هم فشار دهید (در رایانههای اپل مکینتاش کلیدهای ⌘-Shift-R)
- اینترنت اکسپلورر/ Edge: کلید Ctrl را نگهدارید و روی دکمهٔ Refresh کلیک کنید، یا کلیدهای Ctrl-F5 را با هم فشار دهید
- اپرا: Ctrl-F5 را بفشارید.
/* <pre> */
function protaSwitchSetup() {
var editform = document.getElementById("wpTextbox1");
if (editform == null) {
return;
}
protaAddButton(editform, "Monospaced", function(style) {
style.fontFamily = "monospace";
});
protaAddButton(editform, "Sans", function(style) {
style.fontFamily = "sans-serif";
});
protaAddButton(editform, "Serif", function(style) {
style.fontFamily = "serif";
});
protaAddButton(editform, "Nazli", function(style) {
style.fontFamily = "nazli";
});
var space = document.createTextNode(" ");
editform.parentNode.insertBefore(space, editform);
}
function protaAddButton(before, label, action) {
var button = document.createElement("input");
button.type = "button";
button.value = label;
button.onclick = function(event) {
var box = document.getElementById("wpTextbox1");
if (box == null) {
alert("Broken! Edit box missing.");
} else {
//var style = document.getOverrideStyle(box, null);
var style = box.style;
action(style);
}
}
before.parentNode.insertBefore(button, before);
}
$(protaSwitchSetup);
/* </pre> */