-
Patrick Tierney authored
#2020: opens on external editor on super double click and ctrl-enter, opens raw editor on ctrl-shift-enter
6abf46ad
#2020: opens on external editor on super double click and ctrl-enter, opens raw editor on ctrl-shift-enter