Re: [pollen] pollen rock 0.4

[Junsong Li]

Noted. Thanks a lot folks!

@Leandro, both preview and file watch are designed to keep the scrolling
position. I do notice Safari's behavior is laggy and less desired for very
large files. Which browser are you using?

On Thu, Jul 20, 2017 at 12:05 PM, 'Leandro Facchinetti' via Pollen <
pollenpub@googlegroups.com> wrote:

> Hi Junsong,
>
> Nice job! I tried it and liked it a lot ☺
>
> Here’s another feature request for you (as if you didn’t have enough
> already): keep the scrolling position after refreshing the preview pane.
>
> Best.
> --
> Leandro Facchinetti 
> https://www.leafac.com
> GPG: 0x5925D0683DF3D583
>
> --
> 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.
>

-- 
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.

Re: [pollen] pollen rock 0.4

['Leandro Facchinetti' via Pollen]

Hi Junsong,

Nice job! I tried it and liked it a lot ☺

Here’s another feature request for you (as if you didn’t have enough
already): keep the scrolling position after refreshing the preview pane.

Best.
-- 
Leandro Facchinetti 
https://www.leafac.com
GPG: 0x5925D0683DF3D583

-- 
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.

Re: [pollen] pollen rock 0.4

[Matthew Butterick]

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  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  > > wrote: 
> > 
> > Hi list, 
> > 
> > I am glad to release pollen-rock 0.4. 
> > 
> > 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 
> .
> For more options, visit 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.