Open wbotelhos opened 9 years ago
This is true, but only for OSX. Do you have a suggestion for a different binding?
For reference, ctrl+f5 is also affected:
{ "keys": ["f5"], "command": "sort_lines", "args": {"case_sensitive": false} },
{ "keys": ["ctrl+f5"], "command": "sort_lines", "args": {"case_sensitive": true} },
Thanks for your answer, @FichteFoll.
I used to set ctrl + 1
, ctrl + 2
and so...
ctrl+1 and following are also bound by default, on both OSX and Linux/Windows, so that's not an option.
Would you happen to know if there is a more or less common hotkey for inserting the current date in other applications on OSX? I think I grabbed the F5 binding from TextPad, but don't actually know if this is common for other applications since F5 is mostly "refresh".
May add the shift
key. I tried here and there is no OSX and Linux bind for ctrl + shift + 1..
I would rather use the shift key with F5 instead to be more consistent, ctrl+shift+1 seems very arbitrary.
Could you change the insert command key bind?:
f5
is the default bind to sort lines.