emacs: doc/lispintro/cons-1.pdf annotate

annotate doc/lispintro/cons-1.pdf @ 107818:c7670de45d8a

Don't abort try_window with fonts change when showing tooltip (Bug#2423). * dispextern.h (TRY_WINDOW_CHECK_MARGINS) (TRY_WINDOW_IGNORE_FONTS_CHANGE): New defines. * xdisp.c (try_window): Change arg from CHECK_MARGINS to FLAGS. Don't abort with fonts change if TRY_WINDOW_IGNORE_FONTS_CHANGE is set in FLAGS. Callers with non-zero CHECK_MARGINS changed to use TRY_WINDOW_CHECK_MARGINS. * xfns.c (Fx_show_tip): Call try_window with TRY_WINDOW_IGNORE_FONTS_CHANGE.

author	YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
date	Sat, 10 Apr 2010 19:52:30 +0900
parents	e6fd7e0d6dd5
children

rev	line source
105774 e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	1 %PDF-1.3
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	2 %Çì¢
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	3 5 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	4 <</Length 6 0 R/Filter /FlateDecode>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	5 stream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	6 xœ“ËNÃ0E÷ó³„ñøí-bÕEi¾€*EE ¥/ø}lÇvÝ–nªH‰æú:¾s2Ù"g„<^ù¹áéÍâÇ43Bã/S¤q„kàø
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	7 ‚XÐ…vÌj”†#9Ž»Á1ÁÓ²’iy,u¶Á%\|R¤ÊãMSGÇ°ê—$æ’fÊ9À
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	8 ¶@©ÌåˆÏ]hÇ¡g:šºL]Ë(ædAáa·Ù÷Ý'¼t0¢ó³smeÚ2€”æ¬^€tc,îuƒç)fjgÒÞFéÕ´^Y¡I\Í5Y5YvF“BëL_;É"ÜI’Â@ø¡ üYo†þPa:=…®ç¡â#îTì¡áI$\|#ÕSˆ–ú)é°#²üš'ÙÍãséH'S-µJñâèÙixÃÁ7\2BNµ%vÍø¿¸°]3žVÐ÷ãáÐï–ÇïÓ€}‘¢(6vrN¶uèÏ‹Æ1V‡©cßˆ8D&d§ä_ë¡fžÃÕŠâendstream
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	9 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	10 6 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	11 390
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	12 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	13 4 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	14 <</Type/Page/MediaBox [0 0 254 46]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	15 /Parent 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	16 /Resources<</ProcSet[/PDF /Text]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	17 /ExtGState 9 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	18 /Font 10 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	19 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	20 /Contents 5 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	21 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	22 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	23 3 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	24 << /Type /Pages /Kids [
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	25 4 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	26 ] /Count 1
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	27 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	28 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	29 1 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	30 <</Type /Catalog /Pages 3 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	31 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	32 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	33 7 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	34 <</Type/ExtGState
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	35 /OPM 1>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	36 9 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	37 <</R7
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	38 7 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	39 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	40 10 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	41 <</R8
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	42 8 0 R>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	43 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	44 8 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	45 <</BaseFont/Courier/Type/Font
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	46 /Subtype/Type1>>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	47 endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	48 2 0 obj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	49 <</Producer(ESP Ghostscript 815.02)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	50 /CreationDate(D:20091026183416)
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	51 /ModDate(D:20091026183416)>>endobj
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	52 xref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	53 0 11
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	54 0000000000 65535 f
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	55 0000000702 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	56 0000000912 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	57 0000000643 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	58 0000000494 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	59 0000000015 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	60 0000000475 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	61 0000000750 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	62 0000000850 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	63 0000000791 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	64 0000000820 00000 n
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	65 trailer
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	66 << /Size 11 /Root 1 0 R /Info 2 0 R
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	67 /ID [(ª@}`&¿ÆÈ'S©‚Ü)(ª@}`&¿ÆÈ'S©‚Ü)]
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	68 >>
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	69 startxref
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	70 1023
e6fd7e0d6dd5 New file, generated from .eps version with epstopdf. Glenn Morris <rgm@gnu.org> parents: diff changeset	71 %%EOF

Mercurial > emacs

annotate doc/lispintro/cons-1.pdf @ 107818:c7670de45d8a