Skip to content
This repository has been archived by the owner on Apr 16, 2018. It is now read-only.

Add keyboard shortcuts for symbols #185

Open
kcrisman opened this issue Jan 8, 2015 · 4 comments
Open

Add keyboard shortcuts for symbols #185

kcrisman opened this issue Jan 8, 2015 · 4 comments

Comments

@kcrisman
Copy link
Member

kcrisman commented Jan 8, 2015

From one of the TAs at AIMS - apparently in some software (e.g. Mma, but probably others) there are escape sequences/shortcuts that can be used to get non-ASCII variable names easily. The example was "Esc, eta, Esc" giving Eta in Mma.

Implementing this in the sagenb is probably too ambitious at this point, but maybe in a .sagews this wouldn't be a bad idea. Or something analogous that is more 'native' to SMC. Anyway, an idea.

@williamstein
Copy link
Contributor

On Thu, Jan 8, 2015 at 9:53 AM, kcrisman [email protected] wrote:

From one of the TAs at AIMS - apparently in some software (e.g. Mma, but
probably others) there are escape sequences/shortcuts that can be used to
get non-ASCII variable names easily. The example was "Esc, eta, Esc" giving
Eta in Mma.

Unfortunately, Python2 doesn't support non-ascii variable names.

Implementing this in the sagenb is probably too ambitious at this point,
but maybe in a .sagews this wouldn't be a bad idea. Or something
analogous that is more 'native' to SMC. Anyway, an idea.

Reply to this email directly or view it on GitHub
#185.

William Stein
Professor of Mathematics
University of Washington
http://wstein.org

@kcrisman
Copy link
Member Author

kcrisman commented Jan 8, 2015

Hmm, but maybe the variable name could still be ascii but the visual version for the user (including cut-and-paste) could be non-ascii? Just brainstorming.

@haraldschilly
Copy link
Member

summary: in the codecells of a sagews, dynamically replace all greek sounding variable names with a corresponding UTF-8 symbol. I'm not sure how well that works, but it's doable.

@kcrisman
Copy link
Member Author

Well, it was just a suggestion from a user. Perhaps something one could switch on or off...

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

3 participants