maglev-webtools 0.2.1 → 1.0

data/lib/web_tools/#debugger.rb#

@@ -1,212 +0,0 @@
-require 'sinatra'
-require 'web_tools'
-require 'web_tools/support/service_helper'
-require 'rack/contrib/jsonp'
-require 'maglev/debugger'
-require 'maglev/method_source'
-
-module WebTools
-  class Debugger < Sinatra::Base
-    include WebTools::Support::ServiceHelper
-    use Rack::JSONP
-
-    def respond_json(obj)
-      content_type :json
-      result = case obj
-               when Maglev::Debugger::Wrapper
-                 obj.to_hash
-               else
-                 if obj.is_a? Array and
-                     obj.all? {|e| e.is_a? Maglev::Debugger::Wrapper}
-                   obj.collect(&:to_hash)
-                 else
-                   case obj
-                   when Array, Hash
-                     obj
-                   else
-                     details_for(obj)
-                   end
-                 end
-               end
-      body(result.to_json)
-    end
-
-    def process
-      Maglev::Debugger::Process.new(ObjectSpace._id2ref(params[:oop].to_i))
-    end
-
-    def frames
-      params.has_key?("all") ? process.frames : process.ruby_frames
-    end
-
-    def frame
-      f = frames[params[:idx].to_i]
-      f.debug_info!
-      f
-    end
-
-    def objects
-      instance_variables_for(object)
-    end
-
-    def object
-      ctxt = frame.debug_info[:context]
-      obj = nil
-      variable_list = params[:splat].first.split("/objects/")
-      variable_list.each do |name|
-        name = name[0...(-"/objects".size)] if name.end_with? "/objects"
-        obj = ctxt[name.to_sym]
-        ctxt = instance_variables_for(obj)
-      end
-      obj
-    end
-
-    def instance_variables_for(object)
-      object.instance_variables.inject({}) do |hash, var|
-        hash[var.to_sym] = object.instance_variable_get(var)
-        hash
-      end
-    end
-    
-    def details_for(object)
-      { "instance_variables" => instance_variables_for(object),
-        "self" => object,
-        "inspect" => object.inspect,
-        "class" => object.class,
-        "do-it" => nil,
-        "do-it-result" => nil }
-    end
-
-    before do
-      Maglev.abort_transaction
-    end
-
-    # => list of errors
-    get "/process" do
-      errors = ObjectLog.errors.collect {|e| Maglev::Debugger::Process.new(e) }
-      processes = Thread.list.select(&:stop?).collect do |e|
-        Maglev::Debugger::Process.new(e)
-      end
-      respond_json (errors + processes)
-    end
-
-    get "/process/:oop" do
-      respond_json process
-    end
-
-    get "/process/:oop/frames" do
-      respond_json frames
-    end
-
-    get "/process/:oop/frames/:idx" do
-      respond_json frame
-    end
-
-    get "/process/:oop/frames/:idx/objects" do
-      respond_json frame.debug_info[:context]
-    end
-
-    get "/process/:oop/frames/:idx/objects/*" do
-      if params[:splat].first.end_with? "objects"
-        respond_json objects
-      else
-        respond_json details_for(object)
-      end
-    end
-
-    delete "/process/:oop" do
-      respond_json process.delete
-    end
-
-    delete "/process/:oop/frames/:idx" do
-      respond_json frame.delete
-    end
-
-    post "/process/:oop" do
-      p = process
-      return 404 if p.is_a? Maglev::Debugger::ObjectLogError
-      if params["running"] == "true" and p.thread.alive? and p.thread.stop?
-        p.thread.wakeup
-        p.thread.join
-        if (result = p.thread[:result]).is_a? Maglev::Debugger::Process
-          p.thread.kill
-          raise result.exception
-        else
-          result
-        end
-      else
-        404
-      end
-    end
-
-    put "/process/:oop/frames/:idx" do
-      current_frame = frame.to_hash
-      # TODO: Really check the posted document
-      if doIt = params["do-it"]
-        begin
-          result = frame.context_eval(doIt)
-        rescue Exception => e
-          result = e
-        end
-        current_frame[:"do-it"] = doIt
-        current_frame[:"do-it-result"] = details_for(result)
-        respond_json current_frame
-      elsif params["index"] == "1" and params[:idx] == "0"
-        until frame.method_name != current_frame[:method_name]
-          frame.step(:into) # Step into until we find the next ruby frame
-        end
-        respond_json frame
-      elsif di = params["debug_info"]
-        if di["stepOffset"] && di["stepOffset"] != current_frame[:debug_info][:stepOffset]
-          return 404 unless params[:idx] == 0
-          while di["stepOffset"].to_i > frame[:debug_info][:stepOffset].to_i
-            frame.step(:over)
-          end
-          respond_json frame
-        elsif di["source"] && di["source"] != current_frame[:debug_info][:source]
-          klass = current_frame[:defining_class]
-          frame_above = frames[params[:idx].to_i + 1]
-          # Pop to one frame before the modified one
-          frame_above.delete
-          # Recompile the method
-          klass.set_method_source(current_frame[:method_name], di["source"])
-          # Step into the modified method
-          process.frames.first.step(:into)
-          params[:idx] = 0
-          respond_json frame # Retreive the frame again, to show the updated source
-        end
-      else
-        status 404
-        respond_json frame
-      end
-    end
-
-    put "/process/:oop/frames/:idx/objects/*" do
-      return 404 if params[:splat].first.end_with? "objects"
-
-      if doIt = params["do-it"]
-        begin
-          result = object.instance_eval(doIt)
-        rescue Exception => e
-          result = e
-        end
-        return_value = details_for(object)
-        return_value["do-it"] = doIt
-        return_value["do-it-result"] = details_for(result)
-        respond_json return_value
-      else
-        404
-      end
-    end
-
-    # XXX: Remove me, please
-    options '*' do
-      [200,
-       { 'Access-Control-Allow-Origin' => '*',
-         'Access-Control-Allow-Methods' => 'PUT, POST, GET, DELETE, OPTIONS',
-         'Access-Control-Max-Age' => '1000',
-         'Access-Control-Allow-Headers' => '*' },
-       [""]]
-    end
-  end
-end

data/lib/web_tools/browser.rb

@@ -1,45 +0,0 @@
-require 'sinatra/base'
-require 'web_tools'
-require 'web_tools/support/code_browser'
-require 'web_tools/support/service_helper'
-
-class WebTools::Browser < Sinatra::Base
-  include WebTools::Support::ServiceHelper
-
-  before do
-    @ts = Time.now
-    @stack = nil
-    @browser = WebTools::CodeBrowser.new
-    content_type :json
-  end
-
-  get '/modulelist' do
-    prepare_data(WebTools::CodeBrowser.class_and_module_list)
-  end
-
-  get '/module/:name' do
-    prepare_data(@browser.select_module(params[:name]))
-  end
-
-  get '/module/:module_name/constant/:const_name' do
-    prepare_data(@browser.select_constant(params[:module_name],
-                                          params[:const_name]))
-  end
-
-  get '/module/:module_name/method' do
-    flag = params[:is_instance_method] == 'true' ? true : false
-    prepare_data(@browser.select_method(params[:module_name],
-                                        params[:method_name],
-                                        flag))
-  end
-
-  get '/objectspace/:object_id' do
-    prepare_data(@browser.object_info(params[:object_id]))
-  end
-
-  get '/transaction/abort' do
-    Maglev.abort_transaction
-    prepare_data(WebTools::CodeBrowser.class_and_module_list)
-  end
-end
-

data/public/javascript/CodeMirror/LICENSE

@@ -1,23 +0,0 @@
- Copyright (c) 2007-2010 Marijn Haverbeke
-
- This software is provided 'as-is', without any express or implied
- warranty. In no event will the authors be held liable for any
- damages arising from the use of this software.
-
- Permission is granted to anyone to use this software for any
- purpose, including commercial applications, and to alter it and
- redistribute it freely, subject to the following restrictions:
-
- 1. The origin of this software must not be misrepresented; you must
-    not claim that you wrote the original software. If you use this
-    software in a product, an acknowledgment in the product
-    documentation would be appreciated but is not required.
-
- 2. Altered source versions must be plainly marked as such, and must
-    not be misrepresented as being the original software.
-
- 3. This notice may not be removed or altered from any source
-    distribution.
-
- Marijn Haverbeke
- marijnh@gmail.com

data/public/javascript/CodeMirror/css/Smalltalk.css

@@ -1,34 +0,0 @@
-html {
-  cursor: text;
-}
-
-.editbox {
-  margin: .4em;
-  padding: 0;
-  font-family: monospace;
-  font-size: 10pt;
-  color: black;
-}
-
-.editbox p {
-  margin: 0;
-}
-
-span.st-character 	{ color: rgb(128,0,128); }
-span.st-comment		{ color: rgb(0,200,0); font-style: italic; }
-span.st-string		{ color: rgb(128,0,128); }
-span.st-symbol		{ color: rgb(128,0,128); }
-span.st-boolean		{ color: rgb(0,0,128); }
-span.st-self		{ color: rgb(0,0,128); }
-span.st-super		{ color: rgb(0,0,128); }
-span.st-nil			{ color: rgb(0,0,128); }
-span.st-return		{ color: rgb(160,0,0); }
-span.st-keyword		{ color: rgb(0,0,255); }
-span.st-global		{ font-weight: bold; }
-
-/*
-number: 0 127 127
-special selector: 0 0 127
-brace highlight: 255 128 0
-brace mismatch: 255 0 0
-*/

data/public/javascript/CodeMirror/js/codemirror.js

@@ -1,582 +0,0 @@
-/* CodeMirror main module (http://codemirror.net/)
- *
- * Implements the CodeMirror constructor and prototype, which take care
- * of initializing the editor frame, and providing the outside interface.
- */
-
-// The CodeMirrorConfig object is used to specify a default
-// configuration. If you specify such an object before loading this
-// file, the values you put into it will override the defaults given
-// below. You can also assign to it after loading.
-var CodeMirrorConfig = window.CodeMirrorConfig || {};
-
-var CodeMirror = (function(){
-  function setDefaults(object, defaults) {
-    for (var option in defaults) {
-      if (!object.hasOwnProperty(option))
-        object[option] = defaults[option];
-    }
-  }
-  function forEach(array, action) {
-    for (var i = 0; i < array.length; i++)
-      action(array[i]);
-  }
-  function createHTMLElement(el) {
-    if (document.createElementNS && document.documentElement.namespaceURI !== null)
-      return document.createElementNS("http://www.w3.org/1999/xhtml", el)
-    else
-      return document.createElement(el)
-  }
-
-  // These default options can be overridden by passing a set of
-  // options to a specific CodeMirror constructor. See manual.html for
-  // their meaning.
-  setDefaults(CodeMirrorConfig, {
-    stylesheet: [],
-    path: "",
-    parserfile: [],
-    basefiles: ["util.js", "stringstream.js", "select.js", "undo.js", "editor.js", "tokenize.js"],
-    iframeClass: null,
-    passDelay: 200,
-    passTime: 50,
-    lineNumberDelay: 200,
-    lineNumberTime: 50,
-    continuousScanning: false,
-    saveFunction: null,
-    onLoad: null,
-    onChange: null,
-    undoDepth: 50,
-    undoDelay: 800,
-    disableSpellcheck: true,
-    textWrapping: true,
-    readOnly: false,
-    width: "",
-    height: "300px",
-    minHeight: 100,
-    autoMatchParens: false,
-    markParen: null,
-    unmarkParen: null,
-    parserConfig: null,
-    tabMode: "indent", // or "spaces", "default", "shift"
-    enterMode: "indent", // or "keep", "flat"
-    electricChars: true,
-    reindentOnLoad: false,
-    activeTokens: null,
-    onCursorActivity: null,
-    lineNumbers: false,
-    firstLineNumber: 1,
-    onLineNumberClick: null,
-    indentUnit: 2,
-    domain: null,
-    noScriptCaching: false,
-    incrementalLoading: false
-  });
-
-  function addLineNumberDiv(container, firstNum) {
-    var nums = createHTMLElement("div"),
-        scroller = createHTMLElement("div");
-    nums.style.position = "absolute";
-    nums.style.height = "100%";
-    if (nums.style.setExpression) {
-      try {nums.style.setExpression("height", "this.previousSibling.offsetHeight + 'px'");}
-      catch(e) {} // Seems to throw 'Not Implemented' on some IE8 versions
-    }
-    nums.style.top = "0px";
-    nums.style.left = "0px";
-    nums.style.overflow = "hidden";
-    container.appendChild(nums);
-    scroller.className = "CodeMirror-line-numbers";
-    nums.appendChild(scroller);
-    scroller.innerHTML = "<div>" + firstNum + "</div>";
-    return nums;
-  }
-
-  function frameHTML(options) {
-    if (typeof options.parserfile == "string")
-      options.parserfile = [options.parserfile];
-    if (typeof options.basefiles == "string")
-      options.basefiles = [options.basefiles];
-    if (typeof options.stylesheet == "string")
-      options.stylesheet = [options.stylesheet];
-
-    var sp = " spellcheck=\"" + (options.disableSpellcheck ? "false" : "true") + "\"";
-    var html = ["<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.0 Transitional//EN\" \"http://www.w3.org/TR/html4/loose.dtd\"><html" + sp + "><head>"];
-    // Hack to work around a bunch of IE8-specific problems.
-    html.push("<meta http-equiv=\"X-UA-Compatible\" content=\"IE=EmulateIE7\"/>");
-    var queryStr = options.noScriptCaching ? "?nocache=" + new Date().getTime().toString(16) : "";
-    forEach(options.stylesheet, function(file) {
-      html.push("<link rel=\"stylesheet\" type=\"text/css\" href=\"" + file + queryStr + "\"/>");
-    });
-    forEach(options.basefiles.concat(options.parserfile), function(file) {
-      if (!/^https?:/.test(file)) file = options.path + file;
-      html.push("<script type=\"text/javascript\" src=\"" + file + queryStr + "\"><" + "/script>");
-    });
-    html.push("</head><body style=\"border-width: 0;\" class=\"editbox\"" + sp + "></body></html>");
-    return html.join("");
-  }
-
-  var internetExplorer = document.selection && window.ActiveXObject && /MSIE/.test(navigator.userAgent);
-
-  function CodeMirror(place, options) {
-    // Use passed options, if any, to override defaults.
-    this.options = options = options || {};
-    setDefaults(options, CodeMirrorConfig);
-
-    // Backward compatibility for deprecated options.
-    if (options.dumbTabs) options.tabMode = "spaces";
-    else if (options.normalTab) options.tabMode = "default";
-    if (options.cursorActivity) options.onCursorActivity = options.cursorActivity;
-
-    var frame = this.frame = createHTMLElement("iframe");
-    if (options.iframeClass) frame.className = options.iframeClass;
-    frame.frameBorder = 0;
-    frame.style.border = "0";
-    frame.style.width = '100%';
-    frame.style.height = '100%';
-    // display: block occasionally suppresses some Firefox bugs, so we
-    // always add it, redundant as it sounds.
-    frame.style.display = "block";
-
-    var div = this.wrapping = createHTMLElement("div");
-    div.style.position = "relative";
-    div.className = "CodeMirror-wrapping";
-    div.style.width = options.width;
-    div.style.height = (options.height == "dynamic") ? options.minHeight + "px" : options.height;
-    // This is used by Editor.reroutePasteEvent
-    var teHack = this.textareaHack = createHTMLElement("textarea");
-    div.appendChild(teHack);
-    teHack.style.position = "absolute";
-    teHack.style.left = "-10000px";
-    teHack.style.width = "10px";
-    teHack.tabIndex = 100000;
-
-    // Link back to this object, so that the editor can fetch options
-    // and add a reference to itself.
-    frame.CodeMirror = this;
-    if (options.domain && internetExplorer) {
-      this.html = frameHTML(options);
-      frame.src = "javascript:(function(){document.open();" +
-        (options.domain ? "document.domain=\"" + options.domain + "\";" : "") +
-        "document.write(window.frameElement.CodeMirror.html);document.close();})()";
-    }
-    else {
-      frame.src = "javascript:;";
-    }
-
-    if (place.appendChild) place.appendChild(div);
-    else place(div);
-    div.appendChild(frame);
-    if (options.lineNumbers) this.lineNumbers = addLineNumberDiv(div, options.firstLineNumber);
-
-    this.win = frame.contentWindow;
-    if (!options.domain || !internetExplorer) {
-      this.win.document.open();
-      this.win.document.write(frameHTML(options));
-      this.win.document.close();
-    }
-  }
-
-  CodeMirror.prototype = {
-    init: function() {
-      // Deprecated, but still supported.
-      if (this.options.initCallback) this.options.initCallback(this);
-      if (this.options.onLoad) this.options.onLoad(this);
-      if (this.options.lineNumbers) this.activateLineNumbers();
-      if (this.options.reindentOnLoad) this.reindent();
-      if (this.options.height == "dynamic") this.setDynamicHeight();
-    },
-
-    getCode: function() {return this.editor.getCode();},
-    setCode: function(code) {this.editor.importCode(code);},
-    selection: function() {this.focusIfIE(); return this.editor.selectedText();},
-    reindent: function() {this.editor.reindent();},
-    reindentSelection: function() {this.focusIfIE(); this.editor.reindentSelection(null);},
-
-    focusIfIE: function() {
-      // in IE, a lot of selection-related functionality only works when the frame is focused
-      if (this.win.select.ie_selection && document.activeElement != this.frame)
-        this.focus();
-    },
-    focus: function() {
-      this.win.focus();
-      if (this.editor.selectionSnapshot) // IE hack
-        this.win.select.setBookmark(this.win.document.body, this.editor.selectionSnapshot);
-    },
-    replaceSelection: function(text) {
-      this.focus();
-      this.editor.replaceSelection(text);
-      return true;
-    },
-    replaceChars: function(text, start, end) {
-      this.editor.replaceChars(text, start, end);
-    },
-    getSearchCursor: function(string, fromCursor, caseFold) {
-      return this.editor.getSearchCursor(string, fromCursor, caseFold);
-    },
-
-    undo: function() {this.editor.history.undo();},
-    redo: function() {this.editor.history.redo();},
-    historySize: function() {return this.editor.history.historySize();},
-    clearHistory: function() {this.editor.history.clear();},
-
-    grabKeys: function(callback, filter) {this.editor.grabKeys(callback, filter);},
-    ungrabKeys: function() {this.editor.ungrabKeys();},
-
-    setParser: function(name, parserConfig) {this.editor.setParser(name, parserConfig);},
-    setSpellcheck: function(on) {this.win.document.body.spellcheck = on;},
-    setStylesheet: function(names) {
-      if (typeof names === "string") names = [names];
-      var activeStylesheets = {};
-      var matchedNames = {};
-      var links = this.win.document.getElementsByTagName("link");
-      // Create hashes of active stylesheets and matched names.
-      // This is O(n^2) but n is expected to be very small.
-      for (var x = 0, link; link = links[x]; x++) {
-        if (link.rel.indexOf("stylesheet") !== -1) {
-          for (var y = 0; y < names.length; y++) {
-            var name = names[y];
-            if (link.href.substring(link.href.length - name.length) === name) {
-              activeStylesheets[link.href] = true;
-              matchedNames[name] = true;
-            }
-          }
-        }
-      }
-      // Activate the selected stylesheets and disable the rest.
-      for (var x = 0, link; link = links[x]; x++) {
-        if (link.rel.indexOf("stylesheet") !== -1) {
-          link.disabled = !(link.href in activeStylesheets);
-        }
-      }
-      // Create any new stylesheets.
-      for (var y = 0; y < names.length; y++) {
-        var name = names[y];
-        if (!(name in matchedNames)) {
-          var link = this.win.document.createElement("link");
-          link.rel = "stylesheet";
-          link.type = "text/css";
-          link.href = name;
-          this.win.document.getElementsByTagName('head')[0].appendChild(link);
-        }
-      }
-    },
-    setTextWrapping: function(on) {
-      if (on == this.options.textWrapping) return;
-      this.win.document.body.style.whiteSpace = on ? "" : "nowrap";
-      this.options.textWrapping = on;
-      if (this.lineNumbers) {
-        this.setLineNumbers(false);
-        this.setLineNumbers(true);
-      }
-    },
-    setIndentUnit: function(unit) {this.win.indentUnit = unit;},
-    setUndoDepth: function(depth) {this.editor.history.maxDepth = depth;},
-    setTabMode: function(mode) {this.options.tabMode = mode;},
-    setEnterMode: function(mode) {this.options.enterMode = mode;},
-    setLineNumbers: function(on) {
-      if (on && !this.lineNumbers) {
-        this.lineNumbers = addLineNumberDiv(this.wrapping,this.options.firstLineNumber);
-        this.activateLineNumbers();
-      }
-      else if (!on && this.lineNumbers) {
-        this.wrapping.removeChild(this.lineNumbers);
-        this.wrapping.style.paddingLeft = "";
-        this.lineNumbers = null;
-      }
-    },
-
-    cursorPosition: function(start) {this.focusIfIE(); return this.editor.cursorPosition(start);},
-    firstLine: function() {return this.editor.firstLine();},
-    lastLine: function() {return this.editor.lastLine();},
-    nextLine: function(line) {return this.editor.nextLine(line);},
-    prevLine: function(line) {return this.editor.prevLine(line);},
-    lineContent: function(line) {return this.editor.lineContent(line);},
-    setLineContent: function(line, content) {this.editor.setLineContent(line, content);},
-    removeLine: function(line){this.editor.removeLine(line);},
-    insertIntoLine: function(line, position, content) {this.editor.insertIntoLine(line, position, content);},
-    selectLines: function(startLine, startOffset, endLine, endOffset) {
-      this.win.focus();
-      this.editor.selectLines(startLine, startOffset, endLine, endOffset);
-    },
-    nthLine: function(n) {
-      var line = this.firstLine();
-      for (; n > 1 && line !== false; n--)
-        line = this.nextLine(line);
-      return line;
-    },
-    lineNumber: function(line) {
-      var num = 0;
-      while (line !== false) {
-        num++;
-        line = this.prevLine(line);
-      }
-      return num;
-    },
-    jumpToLine: function(line) {
-      if (typeof line == "number") line = this.nthLine(line);
-      this.selectLines(line, 0);
-      this.win.focus();
-    },
-    currentLine: function() { // Deprecated, but still there for backward compatibility
-      return this.lineNumber(this.cursorLine());
-    },
-    cursorLine: function() {
-      return this.cursorPosition().line;
-    },
-    cursorCoords: function(start) {return this.editor.cursorCoords(start);},
-
-    activateLineNumbers: function() {
-      var frame = this.frame, win = frame.contentWindow, doc = win.document, body = doc.body,
-          nums = this.lineNumbers, scroller = nums.firstChild, self = this;
-      var barWidth = null;
-
-      nums.onclick = function(e) {
-        var handler = self.options.onLineNumberClick;
-        if (handler) {
-          var div = (e || window.event).target || (e || window.event).srcElement;
-          var num = div == nums ? NaN : Number(div.innerHTML);
-          if (!isNaN(num)) handler(num, div);
-        }
-      };
-
-      function sizeBar() {
-        if (frame.offsetWidth == 0) return;
-        for (var root = frame; root.parentNode; root = root.parentNode){}
-        if (!nums.parentNode || root != document || !win.Editor) {
-          // Clear event handlers (their nodes might already be collected, so try/catch)
-          try{clear();}catch(e){}
-          clearInterval(sizeInterval);
-          return;
-        }
-
-        if (nums.offsetWidth != barWidth) {
-          barWidth = nums.offsetWidth;
-          frame.parentNode.style.paddingLeft = barWidth + "px";
-        }
-      }
-      function doScroll() {
-        nums.scrollTop = body.scrollTop || doc.documentElement.scrollTop || 0;
-      }
-      // Cleanup function, registered by nonWrapping and wrapping.
-      var clear = function(){};
-      sizeBar();
-      var sizeInterval = setInterval(sizeBar, 500);
-
-      function ensureEnoughLineNumbers(fill) {
-        var lineHeight = scroller.firstChild.offsetHeight;
-        if (lineHeight == 0) return;
-        var targetHeight = 50 + Math.max(body.offsetHeight, Math.max(frame.offsetHeight, body.scrollHeight || 0)),
-            lastNumber = Math.ceil(targetHeight / lineHeight);
-        for (var i = scroller.childNodes.length; i <= lastNumber; i++) {
-          var div = createHTMLElement("div");
-          div.appendChild(document.createTextNode(fill ? String(i + self.options.firstLineNumber) : "\u00a0"));
-          scroller.appendChild(div);
-        }
-      }
-
-      function nonWrapping() {
-        function update() {
-          ensureEnoughLineNumbers(true);
-          doScroll();
-        }
-        self.updateNumbers = update;
-        var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
-            onResize = win.addEventHandler(win, "resize", update, true);
-        clear = function(){
-          onScroll(); onResize();
-          if (self.updateNumbers == update) self.updateNumbers = null;
-        };
-        update();
-      }
-
-      function wrapping() {
-        var node, lineNum, next, pos, changes = [], styleNums = self.options.styleNumbers;
-
-        function setNum(n, node) {
-          // Does not typically happen (but can, if you mess with the
-          // document during the numbering)
-          if (!lineNum) lineNum = scroller.appendChild(createHTMLElement("div"));
-          if (styleNums) styleNums(lineNum, node, n);
-          // Changes are accumulated, so that the document layout
-          // doesn't have to be recomputed during the pass
-          changes.push(lineNum); changes.push(n);
-          pos = lineNum.offsetHeight + lineNum.offsetTop;
-          lineNum = lineNum.nextSibling;
-        }
-        function commitChanges() {
-          for (var i = 0; i < changes.length; i += 2)
-            changes[i].innerHTML = changes[i + 1];
-          changes = [];
-        }
-        function work() {
-          if (!scroller.parentNode || scroller.parentNode != self.lineNumbers) return;
-
-          var endTime = new Date().getTime() + self.options.lineNumberTime;
-          while (node) {
-            setNum(next++, node.previousSibling);
-            for (; node && !win.isBR(node); node = node.nextSibling) {
-              var bott = node.offsetTop + node.offsetHeight;
-              while (scroller.offsetHeight && bott - 3 > pos) {
-                var oldPos = pos;
-                setNum("&nbsp;");
-                if (pos <= oldPos) break;
-              }
-            }
-            if (node) node = node.nextSibling;
-            if (new Date().getTime() > endTime) {
-              commitChanges();
-              pending = setTimeout(work, self.options.lineNumberDelay);
-              return;
-            }
-          }
-          while (lineNum) setNum(next++);
-          commitChanges();
-          doScroll();
-        }
-        function start(firstTime) {
-          doScroll();
-          ensureEnoughLineNumbers(firstTime);
-          node = body.firstChild;
-          lineNum = scroller.firstChild;
-          pos = 0;
-          next = self.options.firstLineNumber;
-          work();
-        }
-
-        start(true);
-        var pending = null;
-        function update() {
-          if (pending) clearTimeout(pending);
-          if (self.editor.allClean()) start();
-          else pending = setTimeout(update, 200);
-        }
-        self.updateNumbers = update;
-        var onScroll = win.addEventHandler(win, "scroll", doScroll, true),
-            onResize = win.addEventHandler(win, "resize", update, true);
-        clear = function(){
-          if (pending) clearTimeout(pending);
-          if (self.updateNumbers == update) self.updateNumbers = null;
-          onScroll();
-          onResize();
-        };
-      }
-      (this.options.textWrapping || this.options.styleNumbers ? wrapping : nonWrapping)();
-    },
-
-    setDynamicHeight: function() {
-      var self = this, activity = self.options.onCursorActivity, win = self.win, body = win.document.body,
-          lineHeight = null, timeout = null, vmargin = 2 * self.frame.offsetTop;
-      body.style.overflowY = "hidden";
-      win.document.documentElement.style.overflowY = "hidden";
-      this.frame.scrolling = "no";
-
-      function updateHeight() {
-        var trailingLines = 0, node = body.lastChild, computedHeight;
-        while (node && win.isBR(node)) {
-          if (!node.hackBR) trailingLines++;
-          node = node.previousSibling;
-        }
-        if (node) {
-          lineHeight = node.offsetHeight;
-          computedHeight = node.offsetTop + (1 + trailingLines) * lineHeight;
-        }
-        else if (lineHeight) {
-          computedHeight = trailingLines * lineHeight;
-        }
-        if (computedHeight)
-          self.wrapping.style.height = Math.max(vmargin + computedHeight, self.options.minHeight) + "px";
-      }
-      setTimeout(updateHeight, 300);
-      self.options.onCursorActivity = function(x) {
-        if (activity) activity(x);
-        clearTimeout(timeout);
-        timeout = setTimeout(updateHeight, 100);
-      };
-    }
-  };
-
-  CodeMirror.InvalidLineHandle = {toString: function(){return "CodeMirror.InvalidLineHandle";}};
-
-  CodeMirror.replace = function(element) {
-    if (typeof element == "string")
-      element = document.getElementById(element);
-    return function(newElement) {
-      element.parentNode.replaceChild(newElement, element);
-    };
-  };
-
-  CodeMirror.fromTextArea = function(area, options) {
-    if (typeof area == "string")
-      area = document.getElementById(area);
-
-    options = options || {};
-    if (area.style.width && options.width == null)
-      options.width = area.style.width;
-    if (area.style.height && options.height == null)
-      options.height = area.style.height;
-    if (options.content == null) options.content = area.value;
-
-    function updateField() {
-      area.value = mirror.getCode();
-    }
-    if (area.form) {
-      if (typeof area.form.addEventListener == "function")
-        area.form.addEventListener("submit", updateField, false);
-      else
-        area.form.attachEvent("onsubmit", updateField);
-      var realSubmit = area.form.submit;
-      function wrapSubmit() {
-        updateField();
-        // Can't use realSubmit.apply because IE6 is too stupid
-        area.form.submit = realSubmit;
-        area.form.submit();
-        area.form.submit = wrapSubmit;
-      }
-      try {area.form.submit = wrapSubmit;} catch(e){}
-    }
-
-    function insert(frame) {
-      if (area.nextSibling)
-        area.parentNode.insertBefore(frame, area.nextSibling);
-      else
-        area.parentNode.appendChild(frame);
-    }
-
-    area.style.display = "none";
-    var mirror = new CodeMirror(insert, options);
-    mirror.save = updateField;
-    mirror.toTextArea = function() {
-      updateField();
-      area.parentNode.removeChild(mirror.wrapping);
-      area.style.display = "";
-      if (area.form) {
-        try {area.form.submit = realSubmit;} catch(e) {}
-        if (typeof area.form.removeEventListener == "function")
-          area.form.removeEventListener("submit", updateField, false);
-        else
-          area.form.detachEvent("onsubmit", updateField);
-      }
-    };
-
-    return mirror;
-  };
-
-  CodeMirror.isProbablySupported = function() {
-    // This is rather awful, but can be useful.
-    var match;
-    if (window.opera)
-      return Number(window.opera.version()) >= 9.52;
-    else if (/Apple Computer, Inc/.test(navigator.vendor) && (match = navigator.userAgent.match(/Version\/(\d+(?:\.\d+)?)\./)))
-      return Number(match[1]) >= 3;
-    else if (document.selection && window.ActiveXObject && (match = navigator.userAgent.match(/MSIE (\d+(?:\.\d*)?)\b/)))
-      return Number(match[1]) >= 6;
-    else if (match = navigator.userAgent.match(/gecko\/(\d{8})/i))
-      return Number(match[1]) >= 20050901;
-    else if (match = navigator.userAgent.match(/AppleWebKit\/(\d+)/))
-      return Number(match[1]) >= 525;
-    else
-      return null;
-  };
-
-  return CodeMirror;
-})();