Function updateDistSelector

test/lib/caseFrame.js:149–167

()

    }

    function updateDistSelector() {
        var distSelector = $(SELECTOR_DIST);

        distSelector[0].disabled = !!globalOpt.disableDistSelector;

        distSelector.off('change').on('change', function (e) {
            var selector = e.target;
            setState('dist', selector.options[selector.selectedIndex].value);
        });

        var dist = getState('dist');

        var options = distSelector[0].options;
        for (var i = 0; i < options.length; i++) {
            if (options[i].value === dist) {
                distSelector[0].selectedIndex = i;
            }
        }
    }

    function updateListFilter() {
        var html = [