Function change

api/prettydiff-webtool.ts:4569–4574

()

                        .getElementsByTagName("option")
                        .length - 1,
                    change = function dom_event_sequence_colorChange_change():void {
                        color.selectedIndex = ind;
                        method
                            .event
                            .colorScheme(event);
                    };
                let ind:number    = color.selectedIndex;
                ind = ind - 1;
                if (ind < 0) {