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

Port missing in default address of Add buttons. #1015

Closed
arantius opened this issue Aug 11, 2009 · 2 comments
Closed

Port missing in default address of Add buttons. #1015

arantius opened this issue Aug 11, 2009 · 2 comments

Comments

@arantius
Copy link
Collaborator

Originally: DevjaVu ticket 199

When adding a page to the excluded/included pages in "Manage User Scripts...", there's a default address shown, it's supposed to be the host of the current page with a wildcard. But when the current page has a port (e.g. http://localhost:8080/) the textbox only display the host without it.
@arantius
Copy link
Collaborator Author

Integrated into official tree.

@Martii
Copy link
Contributor

Martii commented Sep 17, 2009

Reference: commit

This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@arantius @Martii