Skip to content

Pull requests: searchmarkers/mark-my-search

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Merge into MV2 from main
#18 by ator-dev was merged Oct 8, 2022 Loading…
Update version
#7 by ator-dev was merged Sep 14, 2022 Loading…
Update version
#9 by ator-dev was merged Sep 15, 2022 Loading…
Improve popup border
#10 by ator-dev was merged Sep 15, 2022 Loading…
Make various user experience improvements and fixes
#12 by ator-dev was merged Oct 7, 2022 Loading…
Fix style changes, update README
#13 by ator-dev was merged Oct 7, 2022 Loading…
Make bugfixes, add diacritic matching support
#14 by ator-dev was merged Oct 7, 2022 Loading…
Fix re-researching terms on Chromium
#15 by ator-dev was merged Oct 8, 2022 Loading…
Merge into MV2 from main
#16 by ator-dev was merged Oct 8, 2022 Loading…
Revert "Merge into MV2 from main"
#17 by ator-dev was merged Oct 8, 2022 Loading…
Research activation fix
#19 by ator-dev was merged Oct 10, 2022 Loading…
Research activation fix (MV2)
#20 by ator-dev was merged Oct 10, 2022 Loading…
Rearrange match options, refactor, add logging
#21 by ator-dev was merged Oct 16, 2022 Loading…
Fix focusing elements during jump
#22 by ator-dev was merged Oct 16, 2022 Loading…
Reinitialise storage on get-errors, make minor improvements
#23 by ator-dev was merged Oct 19, 2022 Loading…
Fix focus delegation for term inputs
#25 by ator-dev was merged Oct 20, 2022 Loading…
Merge from main
#26 by ator-dev was merged Oct 20, 2022 Loading…
Add content menu item creation on re-enablement
#27 by ator-dev was merged Oct 20, 2022 Loading…
Bump patch version
#28 by ator-dev was merged Oct 20, 2022 Loading…
Eliminate unnecessary abstract classes in modules
#206 by ator-dev was merged Jan 27, 2025 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.