comparison lisp/follow.el @ 42880:196bb8bbcc88

Comment fix.
author Pavel Janík <Pavel@Janik.cz>
date Mon, 21 Jan 2002 16:09:55 +0000
parents 8aad79c19106
children e44b96f09893
comparison
equal deleted inserted replaced
42879:6da838202c4c 42880:196bb8bbcc88
2069 (let* ((windows (follow-all-followers win)) 2069 (let* ((windows (follow-all-followers win))
2070 (win-start-end (follow-windows-start-end windows)) 2070 (win-start-end (follow-windows-start-end windows))
2071 (new-window-start (window-start win)) 2071 (new-window-start (window-start win))
2072 (new-window-point (window-point win))) 2072 (new-window-point (window-point win)))
2073 (cond 2073 (cond
2074 ;; The window was moved. Move it back and 2074 ;; The start of the selected window was repositioned.
2075 ;; select a new. If no better could be found, 2075 ;; Try to use the original start position and continue
2076 ;; we stick with the new start position. This 2076 ;; working with a window to the "right" in the window
2077 ;; is used when the original process filter 2077 ;; chain. This will create the effect that the output
2078 ;; tries to position the cursor at the bottom 2078 ;; starts in one window and continues into the next.
2079 ;; of the window. Example: `lyskom'. 2079
2080 ;; If the display has changed so much that it is not
2081 ;; possible to keep the original window fixed and still
2082 ;; display the point then we give up and use the new
2083 ;; window start.
2084
2085 ;; This case is typically used when the process filter
2086 ;; tries to reposition the start of the window in order
2087 ;; to view the tail of the output.
2080 ((not (eq orig-window-start new-window-start)) 2088 ((not (eq orig-window-start new-window-start))
2081 (follow-debug-message "filter: Moved") 2089 (follow-debug-message "filter: Moved")
2082 (set-window-start win orig-window-start) 2090 (set-window-start win orig-window-start)
2083 (follow-redisplay windows win) 2091 (follow-redisplay windows win)
2084 (setq win-start-end (follow-windows-start-end windows)) 2092 (setq win-start-end (follow-windows-start-end windows))