#include "dtkCorePluginWidgetManager.h"