import ProjectPickerFilterBox from "./ProjectPickerFilterBox";
import React from "react";
const ProjectPickerMenu = (props) => {
    return (React.createElement("ul", { className: "absolute z-10 mt-2 max-h-72 w-full overflow-auto rounded-xl bg-white py-2 text-base shadow-lg ring-1 ring-gray-200 focus:outline-none sm:text-sm", role: "listbox", "aria-labelledby": "listbox-label", "aria-activedescendant": "listbox-option-3" },
        React.createElement(ProjectPickerFilterBox, { key: 2, onChange: (value) => {
                props.onFilter(value);
            } }),
        props.children));
};
export default ProjectPickerMenu;
//# sourceMappingURL=ProjectPickerMenu.js.map