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

Stop word selection plugin highlighting conflicting with searchbar #1290

Merged
merged 11 commits into from
Aug 2, 2023
Merged

Stop word selection plugin highlighting conflicting with searchbar #1290

merged 11 commits into from
Aug 2, 2023

Commits on Mar 26, 2023

  1. Make word selection plugin searchbar aware

    Jeremy Wootten committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    d63f475 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored Mar 27, 2023
    Configuration menu
    Copy the full SHA
    d1d75e1 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored Mar 28, 2023
    Configuration menu
    Copy the full SHA
    61dd18c View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    @zeebok
    zeebok authored Apr 8, 2023
    Configuration menu
    Copy the full SHA
    31ca732 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored Apr 25, 2023
    Configuration menu
    Copy the full SHA
    65ad44b View commit details
    Browse the repository at this point in the history

Commits on May 12, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    @zeebok
    zeebok authored May 12, 2023
    Configuration menu
    Copy the full SHA
    efb4824 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored May 12, 2023
    Configuration menu
    Copy the full SHA
    d614c51 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored Jun 23, 2023
    Configuration menu
    Copy the full SHA
    6349150 View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    @zeebok
    zeebok authored Jul 5, 2023
    Configuration menu
    Copy the full SHA
    1ead157 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    @zeebok
    zeebok authored Jul 8, 2023
    Configuration menu
    Copy the full SHA
    8fd5098 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Merge branch 'master' into fix-select-highlight-plugin

    Jeremy Wootten authored Aug 2, 2023
    Configuration menu
    Copy the full SHA
    2cfd8bc View commit details
    Browse the repository at this point in the history