If the PV is hidden by exploration stuff, it should not be possible to inadvertedly...
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 21:29:59 +0000 (22:29 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Tue, 22 Mar 2016 21:29:59 +0000 (22:29 +0100)
commitaae509c47c3031f26f12b5cc084d3f9b48543dd7
treead0421d39bb5db23217ae2b85d65167ea375e7a6
parentb747ed2766d3409da9c0330f7ae011b5f24bede2
If the PV is hidden by exploration stuff, it should not be possible to inadvertedly select as a line later.
www/js/remoteglot.js