Setting host options without a server name
Created originally on Bitbucket by Anonymous
Consequence: Workbench crashes and cannot load anymore (at least for HTTPS option "no host validation")
Steps to reproduce:
Create a repository
Open Workbench
Click on the "Synchronize" button
Click on the lock button for "Remote Repository"
Select "no host validation" for HTTP
Save
Fix suggestion: Disable the lock button at the GUI level until the host text field is non-empty.