#include <wxdgdecorationmanager.h>
