- /* the next/prev tokens are here to recognize them *before* handling
- * strings ('workspace' command) */
-next { return TOK_NEXT; }
-prev { return TOK_PREV; }
+ /* the next/prev/back_and_forth tokens are here to recognize them *before*
+ * handling strings ('workspace' command) */
+next { BEGIN(INITIAL); return TOK_NEXT; }
+prev { BEGIN(INITIAL); return TOK_PREV; }
+back_and_forth { BEGIN(INITIAL); return TOK_BACK_AND_FORTH; }