Re: pop_spot(0)

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Joerg Sommer <joerg@xxxxxxxxxxxx> wrote:
>Is creating and going to such a mark as fast like push/pop spot?

In practice, you should not notice the difference.

>And is there a function to search between the current position and a mark?

You have to define the region using "push_mark".  Then call
"narrow_to_region".  Once you are done, call "widen_region".

--John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.