LabelingEditorToolbar: remove unused class
LabelingEditor Documentation: Change "highlight" to "hilite", add missing documentation
Labeling Editor: Add additional documentation
Labeling Editor: Code Cleanup
Label Editor: Rename key used when saving settings
Labeling Editor Dialog: Rename "highlight" to "hilite"
Labeling Editor: IntType now possible for the type of the returned labeling