مدیاویکی:Gadget-prota.js
پرش به ناوبری
پرش به جستجو
نکته: پس از ذخیره کردن ممکن است برای دیدن تغییرات نیاز باشد که حافظهٔ نهانی مرورگر خود را پاک کنید.
- فایرفاکس / سافاری: کلید Shift را نگه دارید و روی دکمهٔ Reload کلیک کنید، یا کلیدهای Ctrl-F5 یا Ctrl-R را با هم فشار دهید (در رایانههای اپل مکینتاش کلیدهای ⌘-R)
- گوگل کروم: کلیدهای Ctrl+Shift+R را با هم فشار دهید (در رایانههای اپل مکینتاش کلیدهای ⌘-Shift-R)
- اینترنت اکسپلورر: کلید Ctrl را نگهدارید و روی دکمهٔ Refresh کلیک کنید، یا کلیدهای Ctrl-F5 را با هم فشار دهید
- اپرا: بروید به Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
/* <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); } hookEvent('load', protaSwitchSetup); /* </pre> */