Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Search does not work #326

Open
lironco opened this issue Apr 28, 2023 · 0 comments
Open

Search does not work #326

lironco opened this issue Apr 28, 2023 · 0 comments
Assignees
@corwin-of-amber
Labels
kind: enhancement part: cm5
Milestone
0.17.0+lsp

Comments

@lironco
Copy link

lironco commented Apr 28, 2023

Searching on the scratchpad does not work.
@corwin-of-amber corwin-of-amber self-assigned this May 1, 2023
@corwin-of-amber corwin-of-amber added this to the 0.17.0 milestone May 1, 2023
corwin-of-amber added a commit that referenced this issue May 1, 2023
@corwin-of-amber
[ui] Added search and jump-to-line.
073c5b6 
In scratchpad only.
Closes #326.
@ejgallego ejgallego modified the milestones: 0.17.0, 0.17.0+lsp Aug 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@corwin-of-amber corwin-of-amber

Labels
kind: enhancement part: cm5
Projects
None yet
Milestone
0.17.0+lsp
Development

No branches or pull requests
3 participants
@corwin-of-amber @ejgallego @lironco