Skip to content
This repository has been archived by the owner on Jul 29, 2022. It is now read-only.

fixes current locator issue after search #111

Merged
merged 1 commit into from
Jan 16, 2020
Merged

fixes current locator issue after search #111

merged 1 commit into from
Jan 16, 2020

Commits on Jan 16, 2020

  1. fixes an issue where the current locator has the wrong fragment handl… 

    …ing after search (there might be more to be done)
    @aferditamuriqi
    aferditamuriqi committed Jan 16, 2020
    Configuration menu
    Copy the full SHA
    70c9120 View commit details
    Browse the repository at this point in the history