#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.