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

Adding menu items to the "Tools" menu not working #10259

Closed
maxim-sheronov opened this issue Aug 11, 2017 · 1 comment
Closed

Adding menu items to the "Tools" menu not working #10259

maxim-sheronov opened this issue Aug 11, 2017 · 1 comment
Labels
archived

Comments

@maxim-sheronov
Copy link
Contributor

maxim-sheronov commented Aug 11, 2017 •
edited
Loading

Hi. I was looking for ability to make custom menu in editor.

I found issue #1429 and pull request #6065. Both are closed. But functionality is not working.
Then I found commit 0aa7242 that was made in a week after previous. And functionality was commented in this commit.

I am really interested is it possible to fix this again. Thanks.
@neikeq
Copy link
Contributor

neikeq commented Aug 11, 2017

Duplicate of #9969

@neikeq neikeq marked this as a duplicate of #9969 Aug 11, 2017
@neikeq neikeq closed this as completed Aug 11, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
archived
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@maxim-sheronov @neikeq