Skip to content
This repository has been archived by the owner on Feb 16, 2023. It is now read-only.

Add extension for document-scoped search #294

Merged
merged 6 commits into from
Dec 28, 2021
Merged

Add extension for document-scoped search #294

merged 6 commits into from
Dec 28, 2021

Commits on Dec 24, 2021

  1. Add extension for document-scoped search

    @loichuder @jtpio
    loichuder authored and jtpio committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    656c09f View commit details
    Browse the repository at this point in the history

  2. Updated snapshots for UI tests

    @loichuder @jtpio
    loichuder authored and jtpio committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    5f24af6 View commit details
    Browse the repository at this point in the history

  3. Add a plugin to disable document search shortcut

    @loichuder @jtpio
    loichuder authored and jtpio committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    38a6166 View commit details
    Browse the repository at this point in the history

  4. Switch to declarative keyboard shortcuts

    @jtpio
    jtpio committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    55915e6 View commit details
    Browse the repository at this point in the history

  5. Update reference snapshots

    @jtpio
    jtpio committed Dec 24, 2021
    Configuration menu
    Copy the full SHA
    37b0c2e View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2021

  1. Switch back to shortcut override plugin

    @jtpio
    jtpio committed Dec 28, 2021
    Configuration menu
    Copy the full SHA
    7c0b058 View commit details
    Browse the repository at this point in the history