-
Notifications
You must be signed in to change notification settings - Fork 86
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Do we support narrowing? #35
Comments
Hi, my elisp manual says: -- Function: point-min -- Function: point-max Hendrik |
Hi Hendrik, Thanks, looks like we have the same Elisp manual :) But I'm not sure what you meant by quoting it... Here's a screenshot that shows what happens when you step through code in a narrowed buffer: It's easy to reproduce this: paste the following in a Coq buffer: Lemma A: True.
Proof.
idtac.
idtac.
idtac.
idtac.
idtac.
idtac.
idtac.
idtac. Then select a bunch of these Did I miss something? |
I'm seeing a lot of references to (point-min) and (point-max) in the code. @DavidAspinall, do you know if these really meant (point-min) and (point-max), or rather beginning and end of the buffer?
At the moment PG seems to break in a number of subtle ways when narrowing is in effect.
The text was updated successfully, but these errors were encountered: