Is there a list of Gazebo GUI configuration INI file options? I was able to extract following from MainWindow.cc, but did not find any official list for Gazebo 9.
[geometry]
width
height
x
y
There are also some Oculus options, which are not of my concern and of course widget specific options. But regarding Gazebo GUI inbuilt options I found no others. Are there any? For example full-screen, tab manipulation, ...