index 8ae26d4c48928db4eff047462ac68b8c53cfc7d4..a9e317534b90dd12740b80b49aef5681741f8786 100644 (file)
#include "ui/widget/scalar-unit.h"
#include "ui/widget/registered-widget.h"
#include "ui/widget/registry.h"
-#include "ui/widget/tolerance-slider.h"
#include "xml/node-event-vector.h"
#include "snapper.h"
#include "line-snapper.h"