index ad9466eb86d7a079ce8945834d5c1813922dd540..668c59649b08bdb736a3e1a208bde677ade85d67 100644 (file)
#include "ui/widget/registered-widget.h"
#include "ui/widget/registry.h"
-#include "ui/widget/tolerance-slider.h"
#include "xml/node-event-vector.h"