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

Pre-filter the 'Available' plugin manager tab, allow multiple terms #4580

Merged
merged 7 commits into from
Apr 11, 2020

Commits on Mar 14, 2020

  1. Configuration menu
    Copy the full SHA
    b9e4d4c View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2020

  1. Re-work search / filter input

    timja committed Mar 15, 2020
    Configuration menu
    Copy the full SHA
    42cfea9 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2020

  1. Configuration menu
    Copy the full SHA
    03d2937 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2020

  1. Look at innerHTML as before, rather than textContent

    Will cause lots of 'false positives' for some search terms, but
    can always be cleaned up later through more fine-grained control
    what can be searched (e.g. textContent + artifactId)
    daniel-beck committed Apr 1, 2020
    Configuration menu
    Copy the full SHA
    142a786 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2020

  1. Configuration menu
    Copy the full SHA
    a73f86c View commit details
    Browse the repository at this point in the history
  2. Update table.jelly

    oleg-nenashev committed Apr 10, 2020
    Configuration menu
    Copy the full SHA
    104e745 View commit details
    Browse the repository at this point in the history
  3. Fix quoting

    timja committed Apr 10, 2020
    Configuration menu
    Copy the full SHA
    dd0c8d0 View commit details
    Browse the repository at this point in the history