Opened 14 years ago

Closed 14 years ago

Last modified 14 years ago

#320 closed enhancement (invalid)

Processing currently gobbles comments and white space: better if it didn't

Reported by: Lucas Dixon Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

Asking PG to process the next command currently processes all white space after the command as well as comments. It would be much more convenient if it did not process/lock white space and comments that occur after the last command.

Change History (2)

comment:1 Changed 14 years ago by David Aspinall

Resolution: invalid
Status: newclosed

Do you have

 Proof General -> Quick Options -> Fly Past Comments

switched on?

Please re-open if this is the reason.

comment:2 Changed 14 years ago by David Aspinall

I meant, please reopen if this isn't the reason. Fly past comments is exactly supposed to give the behaviour you describe.

Note: See TracTickets for help on using tickets.