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

Added simple folder search #15

Closed
wants to merge 2 commits into from
Closed

Added simple folder search #15

wants to merge 2 commits into from

Conversation

BlackPhlox
Copy link

@BlackPhlox BlackPhlox commented Jun 12, 2020 •
edited
Loading

Fixed #10/#13
Started work on #14
Added tooltip (showing url) on hover

image

@BlackPhlox BlackPhlox mentioned this pull request Jun 12, 2020
Closed
@int128
Copy link
Owner

int128 commented Jun 24, 2020

Thank you for your contribution!
I tried running your commit but found some bug. When I entered a string to the search box, same folders are displayed twice.
If possible, it would be great if there are separated PRs for #10, #13 and #14.

@BlackPhlox
Copy link
Author

BlackPhlox commented Jun 24, 2020 •
edited
Loading

Still trying to get a hang of GitHub. I'll see what I can do. #10 and #13 are concerning the same issue.

@BlackPhlox BlackPhlox changed the title Fixed empty bookmark icon cutoff and added simple folder search Added simple folder search Jun 24, 2020
@BlackPhlox BlackPhlox mentioned this pull request Jun 24, 2020
Closed
@caddac
Copy link

caddac commented Aug 12, 2020

Any chance of getting this merged?

@int128 int128 deleted the branch int128:master June 6, 2022 01:46
@int128 int128 closed this Jun 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Bookmark bar cut logos
3 participants
@BlackPhlox @int128 @caddac