6
document.getElementById("bottom").style.height = (document.body.clientHeight - 44) + "px";
7
document.getElementById("panel").style.height = (document.body.clientHeight - 44) + "px";
10
function resizepanel(ev)
13
var panel=document.getElementById('panel');
15
if (ev.layerX||ev.layerX==0) { // Firefox
16
mx=ev.layerX-panel.offsetLeft;
17
my=ev.layerY-panel.offsetTop;
18
} else if (ev.offsetX || ev.offsetX == 0) { // Opera
19
mx=ev.offsetX-panel.offsetLeft;
20
my=ev.offsetY-panel.offsetTop;
23
if((mx>(panelwidth-4))&&(mx<(panelwidth+4))){
24
panel.style.cursor="col-resize";
26
panel.style.cursor="default";
30
panel.style.width=mx+4;
32
panel.style.cursor="col-resize";
42
if((mx>(panelwidth-4))&&(mx<(panelwidth+4))) mb=1;
7
document.getElementById("bottom").style.height = (document.body.clientHeight - 44) + "px";
8
document.getElementById("panel").style.height = (document.body.clientHeight - 44) + "px";
11
function resizepanel(ev) {
12
var panel=document.getElementById('panel');
14
if (ev.layerX || ev.layerX == 0) { // Firefox
15
mx=ev.layerX-panel.offsetLeft;
16
my=ev.layerY-panel.offsetTop;
17
} else if (ev.offsetX || ev.offsetX == 0) { // Opera
18
mx=ev.offsetX-panel.offsetLeft;
19
my=ev.offsetY-panel.offsetTop;
22
if((mx > (panelwidth-4)) && (mx < (panelwidth+4))){
23
panel.style.cursor="col-resize";
25
panel.style.cursor="default";
29
panel.style.width = mx+4;
31
panel.style.cursor = "col-resize";
38
function mdpanel(ev) {
39
if((mx > (panelwidth-4)) && (mx < (panelwidth+4))) {
44
function mupanel(ev) {