Function select

api/prettydiff-webtool.ts:714–721

(event:Event)

                        }
                    },
                    select = function dom_load_select(event:Event):void {
                        const elly:HTMLSelectElement = <HTMLSelectElement>event.target || <HTMLSelectElement>event.srcElement;
                        selectDescription(elly);
                        method.app.options(event);
                        if (elly.getAttribute("id") === "option-color") {
                            method.event.colorScheme(event);
                        }
                    },
                    selectDescription = function dom_load_selectDescription(el:HTMLSelectElement):void {
                        const opts:HTMLCollectionOf<HTMLOptionElement> = el.getElementsByTagName("option"),
                            desc:string = opts[el.selectedIndex].getAttribute("data-description"),