Function selectDescription

api/prettydiff-webtool.ts:722–730

(el:HTMLSelectElement)

                        }
                    },
                    selectDescription = function dom_load_selectDescription(el:HTMLSelectElement):void {
                        const opts:HTMLCollectionOf<HTMLOptionElement> = el.getElementsByTagName("option"),
                            desc:string = opts[el.selectedIndex].getAttribute("data-description"),
                            opt:HTMLOptionElement = <HTMLOptionElement>el[el.selectedIndex],
                            value:string = opt.value,
                            parent:HTMLElement = <HTMLElement>el.parentNode,
                            span:HTMLSpanElement = parent.getElementsByTagName("span")[0];
                        span.innerHTML = ` <strong>${value}</strong> \u2014 ${desc}`;
                    },
                    textareablur    = function dom_load_textareablur(event:Event):void {
                        const el:HTMLElement = <HTMLElement>event.srcElement || <HTMLElement>event.target,
                            tabkey = id("textareaTabKey");