Aug. 24, 2012
8:07 a.m.
On Aug 24, 2012, at 10:05 AM, Stéphane Ducasse <stephane.ducasse@inria.fr> wrote:
On Aug 23, 2012, at 4:24 PM, Camillo Bruni wrote:
So you're saying modifiable keyboard shortcuts are a bad design?
not necessarily but I prefer to have a good default :) so that I do not have to do it.
+1 for configurations +1 for a good default
Stef