Yes, I can see that. That said, I think that good GUI design is
probably best conducted not in brainstorming sessions on a mailing
At the risk of repeating myself, I think it makes sense to see if we
can get good information first and then decide where to put it second.
I still think there are lots of places where it could do and be
unobtrusive, but it will be easier to find a good one if we know what
kind of information we have.
On Sun, Oct 29, 2017 at 5:44 PM, 'John Clements' via Racket Users
>> On Oct 29, 2017, at 15:35, Robby Findler <ro...@eecs.northwestern.edu> wrote:
>> On Sun, Oct 29, 2017 at 5:31 PM, John Clements
>> <cleme...@brinckerhoff.org> wrote:
>>>> On Oct 29, 2017, at 15:27, Robby Findler <ro...@eecs.northwestern.edu>
>>>> I think it is a bad idea to dump output into the interactions that
>>>> isn't being printed by the program.
>>> We currently print “Welcome to DrRacket” at the start of each interaction,
>>> so it’s not as if *all* of the output is generated by the program.
>> True. A little status bar that showed up there wouldn't be
>> objectionable if it were clearly not output, for example. That seems
>> against the ease (which seem to be the spirit of the suggestion), tho.
>>> How about a “turn-down” arrow printed right before or after this message
>>> that when opened will display this input? This turn-down arrow could have
>>> state, so that if you opened it last time, it would stay open in future
>> Well, the logging window is a lot like that, but you have to click a
>> menu item instead of turn-down something a triangle (which seems
>> better to me).
> Speaking only for myself, the logging window chews off a giant chunk of my
> user interface; leaving it open makes me feel like I’m editing in a tiny
> little window. Adding output to the top of the interactions window costs me
> nothing, since it scrolls to disappear. Maybe I’m missing something?
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
For more options, visit https://groups.google.com/d/optout.