From: <tim...@en...> - 2007-06-01 16:18:19
|
>> > I have a much simpler proposal. >> > Let's get rid of the 'q' and ' ' built-ins altogether. >> > >> > Any usable window manager provides at least one button and/or hotkey >> > to kill windows, and the local user is familiar with the conventions >> > of his own desktop. Why should we duplicate, badly, what is already >> > present? >> >> Windows can be closed by Alt-F4. > > Exactly. So there is no need for a badly-implemented 'q'. > >> I'm strictly against smashing ' '. It's the most useful hotkey! It does >> much >> more than a window manager can offer (it finds the parent terminal, >> which >> may be a gnuplot session, octave session, etc.!). > > But why the <space> character????? > Can't this function, if it's necessary at all, be bound to something that > you don't need for typing ordinary commands or labels? Hey, interesting point here: the default bindings could all be 'ctrl'+'key' instead of just 'key'. That's easy to do and we could at least get rid of this "ctrlq" option. Timothée |