Skip to content
This repository has been archived by the owner on Feb 26, 2024. It is now read-only.

Can we rename REPL to "Console" in the menu? #23

Closed
tcoulter opened this issue Jun 2, 2017 · 1 comment
Closed

Can we rename REPL to "Console" in the menu? #23

tcoulter opened this issue Jun 2, 2017 · 1 comment
Assignees
@jmdfm

Comments

@tcoulter
Copy link
Contributor

tcoulter commented Jun 2, 2017

My guess is less technical users will understand "console" more easily than REPL.
@jmdfm jmdfm self-assigned this Jun 2, 2017
@jmdfm
Copy link
Contributor

jmdfm commented Jun 22, 2017

Closing in favour of #32

@jmdfm jmdfm closed this as completed Jun 22, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jmdfm jmdfm

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tcoulter @jmdfm