I've played with this some -- ctrl-s is frequently the shortcut to save -- in most browsers, to save the current webpage do disk.
What do people think of ctrl-enter to split, and ctrl-backspace to join with previous? On Thu, 3 Apr 2008, bill purvis wrote: > > On Thursday 03 April 2008, Andrey Novoseltsev wrote: >> How about Ctrl+s split at the current line and Ctrl+m merge with the >> previous one? (Or next one, I am not sure which one is more natural.) >> > I'd go for the next one. > Seems more intuitive, but I have a warped sense of humour.... > > Surely ctrl+m = Enter ??? > Maybe ctrl+J might work (Join)? [ ctrl-J == line-feed == Unix newline ??] > Hmm, tricky problem. > > Bill > -- > +---------------------------------------+ > | Bill Purvis, Amateur Mathematician | > | email: [EMAIL PROTECTED] | > | http://bil.members.beeb.net | > +---------------------------------------+ > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
