-
Notifications
You must be signed in to change notification settings - Fork 19
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add @diml's post on utop (for 26 Aug) #15
Conversation
This is a great draft and with a few tweaks will make a great guest post.
suggestion: edit to add proposed publication date to pull request title. On 19 Aug 2014, at 14:37, Amir Chaudhry [email protected] wrote:
|
This should be reviewed today (21st) and merged tomorrow (22nd). I'll give it another pass later today (will comment here I'm planning to push changes) |
I'm making edits to this now. |
I've made a few tweaks and I'm happy for this to be merged. I welcome more feedback, though. @avsm will you be reviewing/merging this? |
The possible completions are displayed in the completion bar below the | ||
prompt. It is possible to navigate in the list by using the meta key | ||
(`Alt` by default most of the time) and the left and right arrows. A | ||
word can be selected by pressing the meta key and `TAB`. Also pressing |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Alt+Tab for me just moves the cursor right (using xterm
). And isn't alt-tab a window manager hotkey on almost every system?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Alt and Meta aren't always the same, except when they are (says the guy who's trying to figure his way around emacs for the first time).
Yes, will review shortly; been travelling
|
Add @diml's post on utop (for 26 Aug)
For #6
This is a great draft and with a few tweaks will make a great
guest post.
This could go up either on Wed or Thu.