diff options
| author | Alex Yatskov <alex@foosoft.net> | 2017-04-01 11:20:58 -0700 | 
|---|---|---|
| committer | Alex Yatskov <alex@foosoft.net> | 2017-04-01 11:20:58 -0700 | 
| commit | f556c95038e2ef9e4d97b4168ce417ba0d74282f (patch) | |
| tree | a99fcceebc658524d672a81de252774f8ae5f8bc /ext/mixed/js | |
| parent | e62c46c4fc46f777fa64a931beaef18f2bb0bd7f (diff) | |
improve ctrl + c behavior
Diffstat (limited to 'ext/mixed/js')
| -rw-r--r-- | ext/mixed/js/display.js | 3 | 
1 files changed, 0 insertions, 3 deletions
| diff --git a/ext/mixed/js/display.js b/ext/mixed/js/display.js index f950f0f0..9738319a 100644 --- a/ext/mixed/js/display.js +++ b/ext/mixed/js/display.js @@ -301,10 +301,7 @@ class Display {          const handler = handlers[e.keyCode];          if (handler && handler()) {              e.preventDefault(); -            return true;          } - -        return false;      }      sourceBack() { |