index 6c39860b9b5a5ca99d3e667722f36ef7ed674bdc..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"