Skip to content

theia: set THEIA_MINI_BROWSER_HOST_PATTERN to hostname

Jérome Perrin requested to merge fix/theia-mini-browser-host-pattern into master

This is required for example to preview images (ie. open a .png file from the editor). Without the default value of {{uuid}}.mini-browser.{{hostname}} is used but we don't have anything in place to resolve such domain names.

Edited by Jérome Perrin

Merge request reports