diff --git a/pkgs/plt-services/meta/new-web/download/download-pages.rkt b/pkgs/plt-services/meta/new-web/download/download-pages.rkt index 406d19a267..bd1463cd91 100644 --- a/pkgs/plt-services/meta/new-web/download/download-pages.rkt +++ b/pkgs/plt-services/meta/new-web/download/download-pages.rkt @@ -18,6 +18,12 @@ [(equal? (car a) package) #t] [(equal? (car b) package) #f] [else (string= 0) + return true; + } + return false; + } function do_selection_changed() { linux_expl_s.display = - (selector[selector.selectedIndex].text.search(/Linux/) >= 0) ? - "block" : "none"; + (selector[selector.selectedIndex].text.search(/Linux/) >= 0) + ? "block" + : "none"; + source_expl_s.display = + (selector[selector.selectedIndex].text.search(/Unix Source/) >= 0 + && !some_selector_matches(/(Windows|Mac OS X) Source/)) + ? "block" + : "none"; + builtpkgs_expl_s.display = + (selector[selector.selectedIndex].text.search(/Source/) >= 0 + && selector[selector.selectedIndex].text.search(/built/) < 0 + && some_selector_matches(/built/)) + ? "block" + : "none"; } // function initialize_selector(selector) {