#include <QDockWidget>
#include <QIcon>
#include <QMouseEvent>
#include <QToolButton>
#include "gui-settings.h"
#include "qt-interpreter-events.h"
Go to the source code of this file.