Jupyter&R: keyboard shortcuts for various operators

[haraldschilly]

implement these keyboard shortcuts, as defined by RStudio:

• Ctrl+Shift+M: %>% pipe operator
• Alt+- | Option+-: <- assignment operator

[williamstein]

We could make the assignment operator shortcut work for other languages too, e.g., "=" for most other languages, but ":=" for Magma. There is a list here: https://en.wikipedia.org/wiki/Assignment_(computer_science)

[haraldschilly]

good idea!

[williamstein]

Never heard of any interest in this. This isn't supported by JupyterLab, so we would just be adding something sort of different that people learn and doesn't work in any other Jupyter environment. I'm closing this, but reopen if you seriously think this is worth the effort.