Open krassowski opened 2 weeks ago
Thanks for making a pull request to jupyterlab! To try out this branch on binder, follow this link:
Adding to 4.3.0
since it's tagged as https://github.com/jupyterlab/jupyterlab/labels/enhancement
Looks like its passing after restart :) Let's hold of with merging here until we release 4.2.0 (today!)
References
Fixes #16235
Code changes
User-facing changes
Clicking on the source path now allows selection and thus copying the file
Ctrl + click will open the main area widget:
Note: user can still click on the button next to the path to open the source without holding Ctrl:
Backwards-incompatible changes
None