source: sandbox/filemanager/js/drag_area.js @ 1804

var agt=navigator.userAgent.toLowerCase();
var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));

function DragArea(){
        this.pressed = 0;
        this.resizing = 0;
        this.initEvent;
        this.endEvent;
        this.currentEvent;
}

document.onmousemove = function(event) { _dragArea.moveWindow(event); }
document.onmousedown = function(event) {_dragArea.pressed = 1};
document.onmouseup = function(event) { _dragArea.pressed = 0 };

counter = 0;
DragArea.prototype.moveWindow = function(e) {
        getPointer(e);
        if (this.pressed){
                var elem =  document.getElementById('dwindow'); // FIXME do not use getElement here
                if (elem != null){
                        var _event  = is_ie ? window.event : e;
                        elem.style.left = (_event.clientX - 80) + "px";
                        elem.style.top = (_event.clientY) + "px";
                }
        }
}
var _dragArea = new DragArea();