Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Development merge #175

Merged
merged 4 commits into from
Sep 12, 2024
Merged

Development merge #175

merged 4 commits into from
Sep 12, 2024

Commits on Sep 11, 2024

  1. - Implement session filtering

    - Add filter name for Session filters
    - Fix lack of styling on home page search button
    - Fix some issues with tablet / desktop breakpoints
    - Move a number of search page sections into their own partials
    j-corry committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    cda6fe4 View commit details
    Browse the repository at this point in the history
  2. - Explicitly list facet names for sorting process (may adjust this in…

    … the future so that it is only used for 'standard' facets, excluding custom queries etc.)
    
    - Add custom facet queries for each session name
    - Add session counts to session facet
    j-corry committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    7a5bf10 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. - Only show session facet links where given session filter is not alr…

    …eady applied
    
    - Exclude session domain tag when counting session facet matches
    j-corry committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    c7fa492 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b54dbec View commit details
    Browse the repository at this point in the history