context:     incrementValue: function(amt)    {        var value = this.input.value;        var start = this.input.selectionStart, end = this.input.selectionEnd;        var range = this.getAutoCompleteRange(value, start);        if (!range || range.type != "int")            range = {start: 0, end: value.length-1};        var expr = value.substr(range.start, range.end-range.start+1);        preExpr = value.substr(0, range.start);        postExpr = value.substr(range.end+1);        // See if the value is an integer, and if so increment it        var intValue = parseInt(expr);        if (!!intValue || intValue == 0)        {            var m = /\d+/.exec(expr);            var digitPost = expr.substr(m.index+m[0].length);            var completion = intValue-amt;            this.input.value = preExpr + completion + digitPost + postExpr;            this.input.setSelectionRange(start, end);            Firebug.Editor.update(true);                        return true;        }        else            return false;    },
meta: 7450	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7450/e1d42ad3fad63b72826a4e2ed0726866484c9ac3/editor.js/clean/extension/content/firebug/editor.js