|
| From: | Richard Stallman |
| Subject: | Re: Display feature request: gud-overlay-arrow |
| Date: | Thu, 23 Mar 2006 14:47:58 -0500 |
It would provide a safe way for code to do special things when the _user_
switches buffers or windows or modifies a buffer.
I switch buffers often while debugging, and I don't want this to cause
anything to happen which would not otherwise have happened.
| [Prev in Thread] | Current Thread | [Next in Thread] |