How about a tools drop-down? Or Online Optimization Coach???? (You can
do it, Vincent!)
Neil ⊥
On 07/11/2012 10:47 AM, Robby Findler wrote:
Well, how many of the things currently in the View menu are nify
tools? The module browser at least?
We have too many buttons up there-- we need fewer. We need a more
scalable way to include these things.
Check Syntax should go away (and it will when online check syntax is
done), for example.
Robby
On Wed, Jul 11, 2012 at 12:34 PM, Neil Toronto <neil.toro...@gmail.com> wrote:
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
