Launch server from GUI

The current options in GUI to start the HTTP server only handle the port option (the equivalent of the command-line option --port).
There is no option to set allow origin (the equivalent of the command-line --allow-origin)

Because of this the GUI cannot currently be used to start a server to be used with, e.g., the current Javascript webextension.

The only way to currently set this option is to start the server from the command-line.

So if a user (like me) wants to have both the server and the GUI, the user needs to a start two separate java processes.

Would it be possible to add support for setting origin from the GUI ?

While technically possible, I think this use case is so specific that it doesn’t warrant a new setting.