OK, I have it working now. Sorry, I don't know what the problem was before.
Very nice! I will try using it more, but two suggestions for now: + in Preview mode, include an option to stack the panes vertically rather than horizontally. + in Preview mode, keep the source panel synchronized with the preview panel (e.g., if you click on a link to another Pollen output file) > On Jul 19, 2017, at 11:10 PM, Junsong Li <ljs.darkf...@gmail.com> wrote: > > Thanks for letting me know Matthew. I've updated the README. > > (I just realized the doc was really bad. I'll start to use scribble to > document the tool.) > > Btw, pollen-rock is just like current built-in pollen server. You can see the > rendered page. You also have a list of files on index page. The improvement > is that you can open one pollen file in the editor by clicking file names. > > So, for now you can't "launch" an editor, instead you can only edit an > existing file in the editor. > > > On Wednesday, July 19, 2017 at 10:51:46 AM UTC-7, Matthew Butterick wrote: > Thank you Junsong. I've installed this version of `pollen-rock` but I don't > understand how to launch the editor. Can you please describe this further? > > > > On Jul 18, 2017, at 10:32 PM, Junsong Li <ljs.da...@gmail.com > > <javascript:>> wrote: > > > > Hi list, > > > > I am glad to release pollen-rock 0.4. > > > > https://github.com/lijunsong/pollen-rock > > <https://github.com/lijunsong/pollen-rock> > > > > Aside from numerous bug fixes and codebase improvement, Pollen-rock 0.4 > > adds two features to the editor > > > > - Auto-complete tag names exported from pollen.rkt > > - auto-indent and syntax highlight racket code in p/pm/pp files > > > > > -- > You received this message because you are subscribed to the Google Groups > "Pollen" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to pollenpub+unsubscr...@googlegroups.com > <mailto:pollenpub+unsubscr...@googlegroups.com>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Pollen" group. To unsubscribe from this group and stop receiving emails from it, send an email to pollenpub+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.