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.

Sign up for GitHub

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

Jump to bottom

Wire the remove-entity buttons to query exclusions #4381

Merged
merged 5 commits into from
Nov 29, 2023
Merged

Wire the remove-entity buttons to query exclusions #4381

merged 5 commits into from
Nov 29, 2023

Commits on Nov 29, 2023

  1. Wire the remove-entity buttons to query exclusions

    @jleibs
    jleibs committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    488567d View commit details
    Browse the repository at this point in the history

  2. Don't overwrite direct bluepritn changes

    @jleibs
    jleibs committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    9bd2c67 View commit details
    Browse the repository at this point in the history

  3. Ignore leading slashes in query expressions since it's a common typo

    @jleibs
    jleibs committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    ec74813 View commit details
    Browse the repository at this point in the history

  4. Mark space-view as user edited if a user modifies the query

    @jleibs
    jleibs committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    4841164 View commit details
    Browse the repository at this point in the history

  5. Fix naming

    @jleibs
    jleibs committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    2d33bf3 View commit details
    Browse the repository at this point in the history