tools/sv/inc/script.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

function update( objRef, text ) {
    if ( document.all || document.getElementById ) {
        obj = ( document.getElementById )? document.getElementById( objRef ) : document.all( objRef );
        obj.innerHTML= text
    }
}

function buttonMouseOver( objRef ) {
    if ( document.all || document.getElementById ) {
        obj = ( document.getElementById )? document.getElementById( objRef ) : document.all( objRef );
        objRef.style.background = "white";
    }
}

function buttonMouseOut( objRef ) {
    if ( document.all || document.getElementById ) {
        obj = ( document.getElementById )? document.getElementById( objRef ) : document.all( objRef );
        objRef.style.background = "grey";
    }
}

function doOp( op ) {
    document.forms[0].op.value = op
    document.forms[0].submit()
}

function doOp2( op, args ) {
    document.forms[0].op.value = op
    document.forms[0].args.value = args
    document.forms[0].submit()
}