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
Disable rename and copy menus #23
Disable rename and copy menus #23
Conversation
I have some issues with this PR:
|
This should be fixed by jupyterlab/jupyterlab#10666
I'll see if I can rework this |
That PR jupyterlab/jupyterlab#10666 will need to be backported to resolve that.
Yes this is where things start to be complex. A possibility is to deactivate the entry for the core command. And to create a new command that does exactly the same but with a
You don't need to add the |
a3311c0
to
e89c46f
Compare
Thanks for your help @fcollonval! Now only remains the issue that jupyterlab/jupyterlab#10666 should fix. I don't have a strong opinion whether we should wait for the fix to be released or not. It's a trade-off between having menus that don't work versus misplaced menus. menus.mp4 |
e89c46f
to
17bfe04
Compare
17bfe04
to
ce47230
Compare
ce47230
to
feed996
Compare
Thanks @martinRenou! Looks like the manifest check is failing because of the |
feed996
to
8d1b161
Compare
8d1b161
to
576da91
Compare
Thanks! |
cc. @fcollonval
Hiding the cut/copy/rename context menu commands.