On Fri, Sep 06, 2002 at 05:50:17PM +0200, Lars Gullik Bjønnes wrote:
> | Hmm you always fall silent when I try to discuss minor (but nonetheless
> | important) UI changes with you :(
>
> Could it be that I have no good opinions on this?
Well, you're the boss so when you say "no" I have to live with it, right ?
(I'm still trying to come to terms with Tabular Material Stuff Contents
or whatever it is)
If you do not feel that strongly about it then say so (and I'll make the
change after I find out how it happens ;)
> _but_ we only have a button for increasing envir depth not for
> decreasing... and because of this it is very nice that it is circular.
This is excusing one bug by means of another bug in fact. We need real
UI for depth decrement. It would be super nice if we could have a
getStatus() for them too, though that's probably harder.
(In fact I would be a little less bothered if depth-decrement was
circular too, but ideal would be to pin it at the min/max - "infinity"
key presses are thousands of times easier to type than 3 key presses)
regards
john
--
"Take the ideas you find useful. Try not to get hung up on the labels."
- Jonathan S. Shapiro
