new Hets GUI based on Python interface

[tillmo]

develop a new GUI, replacing the old one based on uDrawGraph.

• It could be based on the Python interface Python interface #2108 and a suitable graph drawing tool, which preferably should support incremental graph drawing. The GUI should work as standalone application that calls a Hets that is possibly contained in a docker container. Hence, inside the docker container, a Python wrapper is needed, which is then called by the GUI.
• The communication could be via sockets, or a RESTful API, or ...

[b-gehrke]

One possibility is to create native python bindings and build a GUI based on these. Then, put hets and the GUI inside a docker container. For this to work, the host needs an X-Server running. Many linux distributions ship with disyplay managers that rely on X directly or suppotr X applications on wayland with Xwayland. The same goes for mac. For windows there are many X servers available [1].

Another way could be for the hets server to provide the core features via a REST API. Then, build a python REST client providing hets features in python. A GUI can than be build upon this library. The server could then be hosted on a local machine (e.g. using docker) or even on a remote server.

The first approach has the benefits of creating native python bindings which will be more performant than a REST client. But it requires the development with these bindings to be inside a docker container or native linux environment.

The second approach simplifies development but relies on HTTP requests. However, this could be beneficial as we could host such a server.

Of cause, the two approaches are not mutually exclusive.

[tillmo]

@fabianneuhaus could you please try on your Mac whether remote ssh with an X11 GUI works?

[b-gehrke]

You can check this for example by starting an ubuntu docker container

$ docker run --rm -it -e "DISPLAY=$DISPLAY" --net host ubuntu

and install and run some x application in it

# apt update && apt install -y x11-apps && xeyes

On ubuntu I also have to allow connections to my running X server with xhost +local:docker