I would hate to hide a nifty new tool away in a menu item.

How about using narrower text on the button? It doesn't have to be the same as the GUI's title text.

By analogy, a tool has two kinds of icons: a logo and a toolbar icon. In general, a logo is memorable, possibly abstract, and indicates what the tool *is*. (For example, the steppers' logos are feet.) A toolbar icon indicates what the tool *does* when you click the icon. The GUI's title and the toolbar text can have the same is/does distinction.

Another option is to split the toolbar into two parts. Or have two dockable toolbars. I know that's more work for Robby... :D

Neil ⊥

On 07/11/2012 10:03 AM, Robby Findler wrote:
Not to be a PITA, but the buttons are huge and if they are now always
there, we should be doing something different with the UI. The view
menu would be my first suggestion for where this should go.

Robby

On Wed, Jul 11, 2012 at 11:40 AM, Vincent St-Amour <stamo...@ccs.neu.edu> wrote:
At Wed, 11 Jul 2012 09:37:19 -0700,
Neil Toronto wrote:
On 07/11/2012 09:25 AM, stamo...@racket-lang.org wrote:
84feb38 Vincent St-Amour <stamo...@racket-lang.org> 2011-10-11 14:26
:
| Enable performance report no matter the language.
:
    M collects/typed-racket/optimizer/tool/tool.rkt | 21 +++++++++++++++++++--

I can't tell from the overall diff. Does that also include student
languages?

Oops, good point. It does.

I'll see how the Macro Stepper avoids that problem, and do the same.

Vincent
_________________________
   Racket Developers list:
   http://lists.racket-lang.org/dev


_________________________
 Racket Developers list:
 http://lists.racket-lang.org/dev

Reply via email to