epriestley 017ef1927c Revert use of "user-select: all" to modify tab selection behavior ... Summary: Reverts D21419. See PHI1814. Previously, I used "user-select: all" to group sequences of spaces for selection. However, this has a side effect: the sequence is now selected with a single click. I didn't read the docuementation on the CSS property thoroughly and missed this in testing, since I was focused on drag-selection behavior. This behavior is enough of a net negative that I think we're in a worse state overall; revert it. Test Plan: Straight revert. Differential Revision: https://secure.phabricator.com/D21429		2020-07-24 13:41:26 -07:00
..
map.php	Revert use of "user-select: all" to modify tab selection behavior	2020-07-24 13:41:26 -07:00
packages.php	Make "Open in Editor" use the simple line number of the current selected block	2020-05-21 15:31:16 -07:00