integrate propertyguizeug, add face color option, in dock widget #10
extract TableView class from InputViewer #10
extract class TableWidget, cleanup gui/rendering responsibilities #10
add missing gui event connections #10