#9480: Add GUI checkbox option in labeling