Great, set-listener-font is exactly what I needed! About 1, I was meaning something different. It was an experimental UI gadget that would show the (speculative) status of the stack while the user keeps entering words. Or maybe my memory is at fault....
2015-03-12 15:50 GMT+01:00 John Benediktsson <mrj...@gmail.com>: >>> 2) I also remember a discussion about making the font in the listener >>> bigger (I gave a talk at work, in order to prepare for the conference, >>> and I ended up having to decrease the resolution in order for everyone >>> to see, but then some contextual menus were partially hidden). >> >> >> IN: scratchpad "Monospace" 16 set-listener-font > > > Also, you can use Cmd/Alt and +/- to increase the font sizes in the browser > which might help if you show of documentation. I meant to make the listener > windows support that key binding as well, but wanted to refactor the way > interactor streams worked before doing that. > > Best, > John. > > ------------------------------------------------------------------------------ > Dive into the World of Parallel Programming The Go Parallel Website, > sponsored > by Intel and developed in partnership with Slashdot Media, is your hub for > all > things parallel software development, from weekly thought leadership blogs > to > news, videos, case studies, tutorials and more. Take a look and join the > conversation now. http://goparallel.sourceforge.net/ > _______________________________________________ > Factor-talk mailing list > Factor-talk@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/factor-talk > ------------------------------------------------------------------------------ Dive into the World of Parallel Programming The Go Parallel Website, sponsored by Intel and developed in partnership with Slashdot Media, is your hub for all things parallel software development, from weekly thought leadership blogs to news, videos, case studies, tutorials and more. Take a look and join the conversation now. http://goparallel.sourceforge.net/ _______________________________________________ Factor-talk mailing list Factor-talk@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/factor-talk
