index 0ff2c65f1fdf953a040284a5ca4ad1cffe7f07fc..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"