Using a gui-overlay plugin to choose GAZEBO_MASTER_URI for a gzclient.
Hi,
i have several gzserver running in docker containers. Im mapping the container-ports from 11345 to localhost:xxxx (e.g. 1000 < xxxx < 1100).
I would like to write an gui plugin which opens an dialog window, allowing to choose one of the ports in my range as GAZEBO_MASTER_URI for my running gzclient.
Anyone know if this is possible? Im actually browsing the sourcecode of the gazebo gui (https://bitbucket.org/osrf/gazebo/src...) but i could need some hints from someone more experienced.