mirror of
https://github.com/BoostIO/BoostNote-App.git
synced 2026-04-26 21:05:55 +03:00
[GH-ISSUE #219] Search within editor #74
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#74
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 @tonythere on GitHub (Dec 24, 2019).
Original GitHub issue: https://github.com/BoostIO/BoostNote-App/issues/219
Originally assigned to: @Komediruzecki on GitHub.
Hello all, could anyone tell me how to search a term in the note editor? I tried
Command + Fand lookup in menus either but no luck.Thank you.
IssueHunt Summary
Backers (Total: $30.00)
Submitted pull Requests
Become a backer now!
Or submit a pull request to get the deposits!
Tips
@RyanGreenup commented on GitHub (Dec 25, 2019):
The only way that I was able to make it work is if you change the keymap and use the Vim search.
This would be far less of an issue if there was an implemented method to use an external editor as there is in Joplin or Notable.
@issuehunt-oss[bot] commented on GitHub (Dec 25, 2019):
@boostio has funded $30.00 to this issue.
@tobifasc commented on GitHub (Feb 11, 2020):
Should we still use CodeMirror's built in search addon? It provides all the basic functionality as described here and could be activated in 5 minutes but it lead to some issues in old BoostNote (e.g. BoostIO/Boostnote#856, BoostIO/Boostnote#1400, BoostIO/Boostnote#1813, BoostIO/Boostnote#2116, BoostIO/Boostnote#3205) which mostly arised because its functionality was not well documented and some minor usability improvements/tweaks were requested.
We could create our own search addon (just like someone did here (i haven't tested this - it's not maintained)) but that would take longer to implement.
A find/replace-widget i personally really like is the one in Monaco Editor. Is the discussion in #69 still ongoing? If yes and we switch to Monaco we could close this issue. If not we could at least take a look at their design decisions.
@SannePetersNL commented on GitHub (Feb 25, 2020):
Also looking for a fix, this is the main reason why I can't use boost note as my default note taking app.
@Ckbhatia commented on GitHub (Jun 16, 2020):
@Flexo013 Please add the platform label, such as the android, web, etc. So, Interested developers can work accordingly.
@Flexo013 commented on GitHub (Jun 16, 2020):
@Ckbhatia This issue doesn't necessarily pertain a specific platform (since you can hook up keyboards to phones as well).
@Ckbhatia commented on GitHub (Jun 17, 2020):
@Flexo013 I know that. But, android developer isn't going to develop this feature for web app.
So, how do you manage that?
@Flexo013 commented on GitHub (Jun 27, 2020):
We have the labels set up such that if there is no specific platform tag present then the issue pertains to a general development.
@lotdrops commented on GitHub (Jul 6, 2020):
A fix on this would be awesome, it is my main pain point with Boostnote
@Flexo013 commented on GitHub (Jul 11, 2020):
@SannePetersNL @lotdrops Make sure to give a 👍 to issues you would like to see fixed or features you would like to see added. That will help with gauging how popular certain features are and what should be prioritized.
@Komediruzecki commented on GitHub (May 18, 2021):
Merged and waiting for release.