Function insize

api/prettydiff-webtool.ts:581–597

()

                        }
                    },
                    insize   = function dom_load_insize():void {
                        const el:HTMLInputElement = id("option-indent_size");
                        if (test.ace === true) {
                            if (textarea.codeIn !== null) {
                                aceStore
                                    .codeIn
                                    .getSession()
                                    .setTabSize(el.value);
                            }
                            if (textarea.codeOut !== null) {
                                aceStore
                                    .codeOut
                                    .getSession()
                                    .setTabSize(el.value);
                            }
                        }
                    },
                    modes = function dom_load_modes(event:Event):void {
                        const elly:HTMLElement = <HTMLElement>event.target || <HTMLElement>event.srcElement,
                            mode = elly.getAttribute("id").replace("mode", "");