#include <config.h>
#include <utils/foxtools/fxheader.h>
#include <string>
Go to the source code of this file.
Definition in file GUIManipulator.h.