6
document.getElementById("bottom").style.height = (document.body.clientHeight - 44) + "px";
7
document.getElementById("panel").style.height = (document.body.clientHeight - 44) + "px";
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) {
11
var panel=document.getElementById('panel');
10
function resizePanel(ev) {
11
var panel = document.getElementById('panel');
14
if (ev.layerX || ev.layerX == 0) {
15
mx=ev.layerX-panel.offsetLeft;
16
my=ev.layerY-panel.offsetTop;
20
else if (ev.offsetX || ev.offsetX == 0) {
21
mx=ev.offsetX-panel.offsetLeft;
22
my=ev.offsetY-panel.offsetTop;
13
if(ev.layerX || ev.layerX == 0) {
14
mx = ev.layerX - panel.offsetLeft;
15
my = ev.layerY - panel.offsetTop;
17
} else if(ev.offsetX || ev.offsetX == 0) {
18
mx = ev.offsetX - panel.offsetLeft;
19
my = ev.offsetY - panel.offsetTop;
25
if( (mx > (panelwidth-4) ) && ( mx < ( panelwidth + 4) ) ){
26
panel.style.cursor="col-resize";
21
if(( mx > (panelwidth - 4)) && ( mx < ( panelwidth + 4) )) {
22
panel.style.cursor = "col-resize";
28
panel.style.cursor="default";
24
panel.style.cursor = "default";
32
panel.style.width=mx+4;
34
panel.style.cursor="col-resize";
27
panel.style.width = mx + 4;
29
panel.style.cursor = "col-resize";
42
function mdpanel(ev) {
43
if((mx > (panelwidth-4)) && (mx < (panelwidth + 4))) {
36
function mdPanel(ev) {
37
if(( mx > ( panelwidth-4 )) && ( mx < ( panelwidth + 4 ))) {
48
function mupanel(ev) {
42
function muPanel(ev) {
b'\\ No newline at end of file'