Utente:Salvatore Ingala/commandline.js: differenze tra le versioni

Versione delle 19:35, 21 feb 2011

Versione delle 18:32, 24 feb 2011

Riga 1 152:

function cmdWEUpdateTextarea(){

if (typeof wikEd != 'undefined' && wikEd.useWikEd)

WikEdUpdateTextarea();

}

function cmdWEUpdateFrame(){

if (typeof wikEd != 'undefined' && wikEd.useWikEd)

WikEdUpdateFrame();

}

function WikEdKeyFrame(event) {

if (typeof wikEd != 'undefined' && wikEd.useWikEd) {

if (event.type == 'keypress')

cmdManageHotKey(event);