#include <mrpt/core/format.h>#include <mrpt/core/lock_helper.h>#include <mrpt/core/round.h>#include <mrpt/math/TLine3D.h>#include <mrpt/math/TObject3D.h>#include <mrpt/math/geometry.h>#include <mrpt/opengl/CFBORender.h>#include <mrpt/opengl/CGridPlaneXY.h>#include <mrpt/opengl/COpenGLScene.h>#include <mrpt/version.h>#include <mvsim/World.h>#include <rapidxml.hpp>#include "xml_utils.h"
Go to the source code of this file.
| Variables | |
| size_t | ID_GLTEXT_CLOCK = 0 | 
| size_t ID_GLTEXT_CLOCK = 0 | 
Return true if the GUI window is open, after a previous call to update_GUI()
Definition at line 38 of file World_gui.cpp.