Function numeric

api/prettydiff-webtool.ts:604–626

(event:Event)

                        method.app.options(event);
                    },
                    numeric = function dom_load_numeric(event:Event):void {
                        const el:HTMLInputElement = <HTMLInputElement>event.srcElement || <HTMLInputElement>event.target;
                        let val = el.value,
                            negative:boolean = (/^(\s*-)/).test(val),
                            split:string[] = val.replace(/\s|-/g, "").split(".");
                        if (split.length > 1) {
                            val = `${split[0].replace(/\D/g, "")}.${split[1].replace(/\D/, "")}`;
                        } else {
                            val = split[0].replace(/\D/g, "");
                        }
                        if (negative === true) {
                            val = `-${val}`;
                        }
                        el.value = val;
                        if (el === id("option-indent_char")) {
                            indentchar();
                        } else if (el === id("option-indent_size")) {
                            insize();
                        }
                        if (test.load === false) {
                            method.app.options(event);
                        }
                    },
                    prepBox = function dom_load_prepBox(boxName:string):void {
                        if (report[boxName].box === null || (test.domain === false && boxName === "feed")) {
                            return;