Martin Vermeer wrote:
On Thu, Oct 04, 2007 at 12:46:45AM +0200, [EMAIL PROTECTED] wrote:
On Wed, 3 Oct 2007, Martin Vermeer wrote:
Here's another example (metaphor):
|line of text
press <space><space><space>
|line of text, indented
Why doesn't this work? Ought to work, right, in an intuitive UI?
;-)
I think you're right, it should work ;-)
<space>^3 should cause the equivalent of 'M-p Right'.
The user presses space several times to indent, the block is indented.
The idea is not _that_ bad...
In mathed, repeated spaces cycle though whitespaces of different width.
It's fun when you get used to it, but intuitive? Hardly. These are
gimmicks.
I think that is simple enough - press space again to get bigger space.
Whether bigger space is done with a bigger space entity
or consecutive small spaces is an implementation detail.
Helge Hafting
