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

Delete the extra “or” that prevents easy cut-and-paste of URLs. #460

Merged
merged 1 commit into from
Mar 26, 2021
Merged

Delete the extra “or” that prevents easy cut-and-paste of URLs. #460

merged 1 commit into from
Mar 26, 2021

Commits on Mar 26, 2021

  1. Delete the extra “or” that prevents easy cut-and-paste of URLs. 

    Before this PR, the default output of server urls looks like:

    Or copy and paste one of these URLs:
        http://localhost:8888/?token=…
     or http://127.0.0.1:8888/?token=…

This makes it easy to triple-click on the first line to copy and paste it into a browser. However, triple-clicking on the second line picks up the extra “or”, so you can’t just copy and paste it into the browser. Instead, you have to explicitly select each character by dragging your mouse, avoiding the “or”.

This change deletes the “or” so you can just triple-click on the second line to copy and paste the url.
    @jasongrout
    jasongrout committed Mar 26, 2021
    Configuration menu
    Copy the full SHA
    c8588ef View commit details
    Browse the repository at this point in the history