d9f198899b
The patch tries to improve on the current way of evaluating a phrase and skipping to the next. It removes both `utop-skip-to-end-of-phrase` and `utop-skip-blank-and-comments`, but adds `utop-next-phrase-beginning`. We assume `utop-discover-phrase` is always returning the end position as at end of a `;;`. Thereafter we use `utop-next-phrase-beginning` to skip to the next phase if `utop-skip-after-eval-phrase` is non-nil. |
||
|---|---|---|
| .. | ||
| lib | ||
| top | ||