Interested in contributing: Terminal option for "Option as Meta Key"

[David Little]

Hi there, I've just been looking into JupyterLab and it looks great! Amazing work!!

I'm interested in contributing to the project in a small way: making it possible to use the Option Key (on a mac keyboard) as the Meta Key in the terminal package. I opened an issue about this a few days ago. Looks to me like it should be pretty simple to implement, as the underlying library for the terminal (xterm.js) has the ability to set this option. 

I think I understand how to change the terminal package so that there is a way for the user to set this option: it looks like it would involve creating a new method in terminal package to change this option for `this._term`, and then, following the example of creating increase-font commands, creating a command for calling this method within the terminal-extension package.

Just wanted to check here, based on the description in the community guidelines, to see if a pull request with this change would be of interest before I go and try to implement it.

[Jason Grout]

Thanks for pinging here. I also added a note on the PR.

Jason

--
You received this message because you are subscribed to the Google Groups "Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+u...@googlegroups.com.
To post to this group, send email to jup...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/10d14769-07fa-4a7c-a57d-898711c1770c%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.