-
Committer:
GitHub
-
Author(s):
Carlos Cordoba
-
Date:
2017-06-03 17:46:23 UTC
-
mfrom:
(3145.255.3)
-
Revision ID:
git-v1:06acf26db62163d1b7fdb568beb6840d3551fbcd
Merge pull request #4538 from andfoy/hardcode_shift_del
PR: Add Shift+Del shortcut to delete lines in the Editor