annotate doc/lispintro/Makefile.am @ 85805:1d1d43e36948

Use expand-file-name rather than concat. (doc-view-cache-directory): Add the UID so multiple users won't clash. (doc-view-current-overlay, doc-view-pending-cache-flush): New vars. (doc-view-goto-page, doc-view-insert-image, doc-view-buffer-message) (doc-view-toggle-display): Use an overlay over the whole buffer so as not to have to touch the buffer's content. (doc-view-initiate-display): New function, extracted from doc-view-mode. (doc-view-mode): Use it. Don't mark as a special mode. Put the page numbers in the modeline. Set up the overlay. Hide the cursor. Run the mode hook. Use after-revert-hook rather than revert-buffer-function. (doc-view-search-internal): Fix typo. (doc-view-convert-current-doc, doc-view-insert-image): Delay the image-cache flush. (doc-view-reconvert-doc): Don't reset the whole mode. (doc-view-make-safe-dir): New function. (doc-view-current-cache-dir): Use it.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Tue, 30 Oct 2007 21:53:05 +0000
parents e90c8edb1d6b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83941
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
1 AUTOMAKE_OPTIONS = foreign 1.2
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
2 info_TEXINFOS = emacs-lisp-intro.texi
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
3 EXTRA_DIST = INSTALL MANIFEST README drawers.eps \
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
4 cons-1.eps cons-2.eps cons-2a.eps cons-3.eps \
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
5 cons-4.eps cons-5.eps lambda-1.eps lambda-2.eps lambda-3.eps
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
6
e90c8edb1d6b Move here from ../../lispintro/
Glenn Morris <rgm@gnu.org>
parents:
diff changeset
7 # arch-tag: 6a3e6d99-7aa2-479f-939c-5531165c5747