darcsden :: Paul -> AgdaFork -> patch

. — .

patch

Nils Anders Danielsson :: Fri Feb 3 23:12:29 UTC 2012
Info buffer: Point is now (again) moved to the top when APPEND is nil.

summary

src/data/emacs-mode/agda2-mode.el

changes

src/data/emacs-mode/agda2-mode.el :: line 877

      (if append (goto-char (point-max))))))

      (if append
          (goto-char (point-max))
        (goto-char (point-min))))))