OLD | NEW |
1 {{header}} | 1 {{header}} |
2 {{object 1 0}} << | 2 {{object 1 0}} << |
3 /Type /Catalog | 3 /Type /Catalog |
4 /Pages 2 0 R | 4 /Pages 2 0 R |
5 /AcroForm 6 0 R | 5 /AcroForm 6 0 R |
6 /Names <</JavaScript 13 0 R>> | 6 /Names <</JavaScript 13 0 R>> |
7 >> | 7 >> |
8 endobj | 8 endobj |
9 {{object 2 0}} << | 9 {{object 2 0}} << |
10 /Type /Pages | 10 /Type /Pages |
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
58 /JS 50 0 R | 58 /JS 50 0 R |
59 >> | 59 >> |
60 endobj | 60 endobj |
61 {{object 13 0}} << | 61 {{object 13 0}} << |
62 /Names [(startDelay) 11 0 R] | 62 /Names [(startDelay) 11 0 R] |
63 >> | 63 >> |
64 endobj | 64 endobj |
65 {{object 50 0}} << | 65 {{object 50 0}} << |
66 >> | 66 >> |
67 stream | 67 stream |
68 function startDelay() | 68 function fireTimeOut() { |
69 { | |
70 app.alert("hello world"); | 69 app.alert("hello world"); |
71 } | 70 } |
72 app.setTimeOut("startDelay()", 3000); | 71 function fireInterval() { |
| 72 app.alert("goodbye world"); |
| 73 } |
| 74 var timer = app.setTimeOut("fireTimeOut()", 3000); |
| 75 var interval = app.setInterval("fireInterval()", 1000); |
| 76 app.clearTimeOut(timer); |
| 77 app.clearInterval(interval); |
73 endstream | 78 endstream |
74 endobj | 79 endobj |
75 {{xref}} | 80 {{xref}} |
76 trailer << | 81 trailer << |
77 /Root 1 0 R | 82 /Root 1 0 R |
78 >> | 83 >> |
79 {{startxref}} | 84 {{startxref}} |
80 %%EOF | 85 %%EOF |
OLD | NEW |