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

Plugin: Hide Bookmark Margin #329

Closed
wmjordan opened this issue May 18, 2023 · 0 comments
Closed

Plugin: Hide Bookmark Margin #329

wmjordan opened this issue May 18, 2023 · 0 comments

Comments

@wmjordan
Copy link
Collaborator

I've been bothered quite a lot of times when I tried to select the whole line but ended up with unintendedly bookmarking the line instead. And I never use the Bookmark feature, hereby I've made a new plugin to hide the bookmark margin on opening BowPad.

HideBookmarkMargin.zip
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@wmjordan