Closed GoogleCodeExporter closed 9 years ago
Ctrl-Enter sounds more natural to me too. Ctrl-S was adapted from the old ages
of desktop applications.
Original comment by albrecht.andi
on 1 Feb 2013 at 8:32
https://codereview.appspot.com/8750044/
Original comment by albrecht.andi
on 21 Apr 2013 at 5:04
This issue was closed by revision d4d2adc066c1.
Original comment by albrecht.andi
on 22 Apr 2013 at 3:26
Original issue reported on code.google.com by
gvanrossum@gmail.com
on 1 Feb 2013 at 7:06