function changertaille(diff) {
if (document.getElementById("toolbar") == null) return; // Teste si on est en cours de modification : si oui, OK ; si non, stop.
if(diff != 0) {
document.getElementById('wpTextbox1').rows = document.getElementById('wpTextbox1').rows + diff;
} else {
document.getElementById('wpTextbox1').rows = window.prompt('Nombre de lignes pour la zone d\'édition ?', '10');
}
}
function init_boutonstaille() {
if (document.getElementById("toolbar") == null) return; // Teste si on est en cours de modification : si oui, OK ; si non, stop.
var barredoutils = document.getElementById("toolbar");
barredoutils.innerHTML = '<div style="display:inline; border:grey solid 1px; padding:2px; background-color:#E9E9E9; border-bottom:none; border-right:none;"> '
+ '<a href="javascript:changertaille(-1);">–</a> <a href="javascript:changertaille(1);">+</a> <a href="javascript:changertaille(0);">?</a>'
+ ' </div>' + barredoutils.innerHTML;
}
addOnloadHook(init_boutonstaille);