mirror of
https://github.com/BoostIO/BoostNote-App.git
synced 2026-04-26 21:05:55 +03:00
[GH-ISSUE #762] Improve local editor search (consistency with global search and improvements) #394
Labels
No labels
android 🤖
assigned to core 🦹
bug 🐛
documentation 📚
documentation 📚
duplicate 🚫
external issue 🔼
external issue 🔼
feature request 🌟
funded on issuehunt 💵
help wanted 🆘
improvement request 🔨
improvement request 🔨
ios 🍎
mobile 📱
needs investigation 🔬
needs more info ℹ️
needs specs 📐
plugin idea 🔌
plugin idea 🔌
poll 🗳️
pull-request
question ❓
rewarded on issuehunt 🎁
security issue 🔑
won’t fix ❌
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/BoostNote-App#394
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @Komediruzecki on GitHub (Jan 9, 2021).
Original GitHub issue: https://github.com/BoostIO/BoostNote-App/issues/762
Originally assigned to: @Komediruzecki on GitHub.
When exporting a note as an HTML file or a markdown file, assets used in the note should be exported too.
Current behavior
Expected behavior
Local editor search should use the same search functionality as global search (just scoped to current note and/or title)
Local editor search should have proper shortcuts bound to it
ctrl+fsearch/find textctrl+rsearch and replaceLocal editor search should have double search bars (one for search and one for replacing at top of the editor)
Local editor search should use newly implemented global search algorithms (searching, highlighting, and marking text in codemirror)
Implementation Details
There should be a component that consists of search input
When searching is active
up/down arrowkey should be used to navigate search resultsWhen search/replace is active
up/down)enterkey should replace the currently selected/highlighted itemExtra
@Komediruzecki commented on GitHub (May 18, 2021):
Merged and waiting for release.