remove shift-= merge keyboard shortcut#4964
Conversation
|
I think that was deliberate - the shortcuts with punctuation characters can be problematic on non US keyboards, so we made an alphabetic alternative. |
|
Actually this came from a different point and is deliberate. Originally we used |
|
OK - that is background I was clearly missing. It is a bit confusing when you see it - could the shift+= one be deprecated, or could the help text for one of them have "(alternate shortcut)" added? |
|
We don't need to deprecate things, since we don't have a release with this yet. If we don't think shift+= is a good idea, we can just remove it. |
|
Probably, we can just remove it... I think that |
|
Ok I will remove it. On Fri, Jan 31, 2014 at 10:58 AM, Damián Avila notifications@github.comwrote:
Brian E. Granger |
|
Or actually, can you just remove the |
isn't |
|
It is not enough because we want to also remove On Fri, Jan 31, 2014 at 3:06 PM, Paul Ivanov notifications@github.comwrote:
Brian E. Granger |
|
sorry, I mistyped originally, Brian, just wanted to confirm that nothing needed to be changed with |
|
Ahh, yes this is correct. On Fri, Jan 31, 2014 at 3:14 PM, Paul Ivanov notifications@github.comwrote:
Brian E. Granger |
as shift+m is universal and sufficient
|
OK, I force pushed the removal for a cleaner merge. I think I misread the meaning of "originally" as being some form of established shortcut in released versions (I wasn't positive if non-modal notebook may have supported a few shortcuts), hence my comment of deprecation. |
|
thanks @ptone, I've re-titled the issue to describe the change we ended up going with here. merging! |
remove shift-= merge keyboard shortcut
remove shift-= merge keyboard shortcut
The merge below was duplicated for two keyboard shortcuts, I assume one was meant to be merge above.
I wasn't sure if the help_index needed to change as well