minor change
Merge branch 'picking_and_highlighting' of github.com:cgcostume/cgsee into picking_and_highlighting