diff options
Diffstat (limited to 'sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch')
| -rw-r--r-- | sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch new file mode 100644 index 000000000000..c6c3a9b1fae1 --- /dev/null +++ b/sci-mathematics/twelf/files/twelf-1.7.1-emacs-twelf.patch @@ -0,0 +1,11 @@ +--- twelf-orig/emacs/twelf.el 2008-07-13 06:06:03.000000000 +1000 ++++ twelf/emacs/twelf.el 2012-12-10 00:39:05.332036491 +1100 +@@ -1815,7 +1815,7 @@ + (twelf-server-process (twelf-server-process twelf-server-buffer)) + (proc-mark (process-mark twelf-server-process)) + (_ (display-buffer twelf-server-buffer)) +- (twelf-server-window (get-buffer-window twelf-server-buffer))) ++ (twelf-server-window (get-buffer-window twelf-server-buffer t))) + (if (not (pos-visible-in-window-p proc-mark twelf-server-window)) + (progn + (push-mark proc-mark) |