Re: [racket-dev] [plt] Push #24974: master branch updated
Excellent! 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? 331d47e Vincent St-Amour stamo...@racket-lang.org 2011-11-30 17:56 : | Remove vestigial file. : D collects/typed-racket/optimizer/tool/utilities.rkt This made me laugh. I thought of tail bones and appendixes. (Misapplying biology always makes me laugh. Q. What's the squiggly thing under the c in façade? A. Most biologists believe it's a flagellum.) Neil ⊥ _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [plt] Push #24974: master branch updated
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
Re: [racket-dev] [plt] Push #24974: master branch updated
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
Re: [racket-dev] [plt] Push #24974: master branch updated
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
Re: [racket-dev] [plt] Push #24974: master branch updated
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
Re: [racket-dev] [plt] Push #24974: master branch updated
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
Re: [racket-dev] [plt] Push #24974: master branch updated
On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote: How about a tools drop-down? Or Online Optimization Coach (You can do it, Vincent!) I had that same thought, actually: online check syntax is actually factored into two parts. DrRacket provides an online expansion service and plugins you can register two handlers, one to run in the place where the expansion happened that is expected to produce a value to send back to the main place where the other handler gets it and can update the GUI. Probably Vincent has fairly little work to break that up; I'd guess the more substantial question will be how to reflect the information into the GUI in a way that doesn't fight with the check syntax information. Robby 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
Re: [racket-dev] [plt] Push #24974: master branch updated
At Wed, 11 Jul 2012 18:00:26 -0500, Robby Findler wrote: On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote: How about a tools drop-down? Or Online Optimization Coach (You can do it, Vincent!) I had that same thought, actually: online check syntax is actually factored into two parts. DrRacket provides an online expansion service and plugins you can register two handlers, one to run in the place where the expansion happened that is expected to produce a value to send back to the main place where the other handler gets it and can update the GUI. Probably Vincent has fairly little work to break that up; I'd guess the more substantial question will be how to reflect the information into the GUI in a way that doesn't fight with the check syntax information. Making the two tools combine nicely would take some thought. Currently, Optimization Coach is probably too slow to be used online, but I'm planning to work on that. Probably not before the release, though. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev