diff options
| author | James Maa <jmaa@berkeley.edu> | 2024-06-11 19:26:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-12 02:26:57 +0000 |
| commit | 0ade97639757f15979193013640cf73ee41ff420 (patch) | |
| tree | cd72e43e05741be3d40f9fe711ba3b8695ee6fe4 /ext/js/display/display-history.js | |
| parent | cd5ff5397390691cb737ad9db1581eb6fd8f6899 (diff) | |
Fix semantics of disallowExpandSelection (#1051)
* Fix semantics of disallowExpandSelection
* Missed one
Diffstat (limited to 'ext/js/display/display-history.js')
0 files changed, 0 insertions, 0 deletions