On Sunday, 12 January 2014 10:36:03 UTC+11, Durand Jean-Damien wrote: > > This concise view is great and a must for a newcomer. Should be advertised > (how?). > Thanks / JD >
Thanx. > *ahem can you remove the box that jumps from left to right after the click > on the left ?* > Done. It's in the Advanced Options (after clicking Options), and is called Animations. -- You received this message because you are subscribed to the Google Groups "marpa parser" group. To unsubscribe from this group and stop receiving emails from it, send an email to marpa-parser+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
