]> git.sesse.net Git - remoteglot/commit
projects / remoteglot / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b747ed2) | patch
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
treead0421d39bb5db23217ae2b85d65167ea375e7a6tree | snapshot
parentb747ed2766d3409da9c0330f7ae011b5f24bede2commit | diff
If the PV is hidden by exploration stuff, it should not be possible to inadvertedly select as a line later.
www/js/remoteglot.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.