git: control -- fix double click for making text selectable