quick fix to show IDs via full_label
fix to show short label on mouse out
Merge branch 'configurable_labeling'
Merge branch 'master' of https://github.com/janpolowinski/rvl