chiark / gitweb /
Javascript frontend: make Shift- and Ctrl-click work.
authorSimon Tatham <anakin@pobox.com>
Fri, 12 Apr 2019 22:38:42 +0000 (23:38 +0100)
committerSimon Tatham <anakin@pobox.com>
Fri, 12 Apr 2019 22:38:42 +0000 (23:38 +0100)
commit866354ef6207fbe21054b1950e8158160f85420a
tree868dc2e792f57681f8801e14714c2aee7b46cf64
parent7ac48f9fe3ff827460b885b50d1e25f1ed2f7862
Javascript frontend: make Shift- and Ctrl-click work.

In other front ends, Shift-click is an alternative to the middle
button, and Ctrl-click the right button. Apparently I completely
forgot to implement this in the JS front end. Better late than never.
emccpre.js