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) {
15
mx = ev.layerX - panel.offsetLeft;
16
my = ev.layerY - panel.offsetTop;
18
} else if(ev.offsetX || ev.offsetX == 0) {
19
mx = ev.offsetX - panel.offsetLeft;
20
my = ev.offsetY - panel.offsetTop;
22
if((mx > (panelWidth - 4)) && ( mx < (panelWidth + 4) )) {
23
panel.style.cursor = "col-resize";
25
panel.style.cursor = "default";
28
panel.style.width = mx + 4;
30
panel.style.cursor = "col-resize";
37
function mdPanel(ev) {
38
if((mx > (panelWidth-4 )) && (mx < (panelWidth + 4 ))) {
43
function muPanel(ev) {
b'\\ No newline at end of file'