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.

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

Make menus usable with tool proxies #10085

Merged
merged 3 commits into from May 29, 2020
Merged

Make menus usable with tool proxies #10085

merged 3 commits into from May 29, 2020

Conversation

mattpap
Copy link
Contributor

@mattpap mattpap commented May 28, 2020 •
edited

Additionally makes some stylistic improvements.

image

@mattpap mattpap added this to the 2.1 milestone May 28, 2020
@bryevdv
Copy link
Member

bryevdv commented May 28, 2020

@mattpap can you add a screenshot here?

@bryevdv bryevdv merged commit 8caf6c1 into master May 29, 2020
@bryevdv bryevdv deleted the mattpap/toolbar_box_menu branch May 29, 2020 02:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bryevdv bryevdv bryevdv approved these changes

Assignees
No one assigned
Labels
reso: completed status: accepted tag: component: bokehjs type: task
Projects
None yet
Milestone
2.1
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@mattpap @bryevdv