Skip to content

Fix double-encoding of "#" in webview URI conversion#204

Merged
alexet merged 1 commit intogithub:masterfrom
henrymercer:webview-file-uri-encoding
Jan 3, 2020
Merged

Fix double-encoding of "#" in webview URI conversion#204
alexet merged 1 commit intogithub:masterfrom
henrymercer:webview-file-uri-encoding

Conversation

@henrymercer
Copy link
Copy Markdown
Contributor

This fixes sorting for result sets with a "#" in their name. Add an integration test to verify this behaviour.

This fixes sorting for result sets with a "#" in their name.
@alexet
Copy link
Copy Markdown

alexet commented Jan 3, 2020

LGTM

@alexet alexet merged commit 3fb0624 into github:master Jan 3, 2020
@henrymercer henrymercer deleted the webview-file-uri-encoding branch January 3, 2020 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants