9 static int checkmouse(void);
10 /* static int buttondown(void); */
11 static char *getmousestr(void);
12 static char *getkbdstr(int);
22 if(initdraw(0, 0, "proof") < 0){
23 fprint(2, "proof: initdraw failed: %r\n");
26 einit(Ekeyboard|Emouse);
32 draw(screen, screen->r, display->black, nil, ZP);
36 screenprint(char *fmt, ...)
43 vseprint(buf, &buf[sizeof buf], fmt, args);
45 p = Pt(screen->clipr.min.x+40, screen->clipr.max.y-40);
46 string(screen, p, display->black, ZP, font, buf);
50 #define etimer(x, y) 0
57 static ulong timekey = 0;
63 timekey = etimer(0, 5000);
76 if ((e & Emouse) && ev.mouse.buttons) {
79 } else if (e & Ekeyboard)
80 return getkbdstr(ev.kbdc); /* sadly, no way to unget */
81 else if (e & timekey) {
82 if((dir = dirstat(track)) != nil){
83 if(tracktm < dir->mtime){
104 screenprint("%s", buf);
105 for (p = buf+1; (c = ekbd()) != '\n' && c != '\r' && c != -1 && c != Viewkey; ) {
106 if (c == '\b' && p > buf) {
112 screenprint("%s", buf);
119 #define button3(b) ((b) & 4)
120 #define button2(b) ((b) & 2)
121 #define button1(b) ((b) & 1)
122 #define button23(b) ((b) & 6)
123 #define button123(b) ((b) & 7)
125 #define butcvt(b) (1 << ((b) - 1))
128 static int buttondown(void) /* report state of buttons, if any */
130 if (!ecanmouse()) /* no event pending */
132 mouse = emouse(); /* something, but it could be motion */
133 return mouse.buttons & 7;
137 int waitdown(void) /* wait until some button is down */
139 while (!(mouse.buttons & 7))
141 return mouse.buttons & 7;
146 while (mouse.buttons & 7)
148 return mouse.buttons & 7;
151 char *m3[] = { "next", "prev", "page n", "again", "bigger", "smaller", "pan", "quit?", 0 };
154 enum { Next = 0, Prev, Page, Again, Bigger, Smaller, Pan, Quit };
156 Menu mbut3 = { m3, 0, 0 };
157 Menu mbut2 = { m2, 0, 0 };
164 Point dd, xy, lastxy, min, max;
172 dd = subpt(mouse.xy, lastxy);
173 min = addpt(screen->clipr.min, dd);
174 max = addpt(screen->clipr.max, dd);
175 draw(screen, rectaddpt(screen->r, subpt(mouse.xy, lastxy)),
176 screen, nil, screen->r.min);
177 if(mouse.xy.x < lastxy.x) /* moved left, clear right */
178 draw(screen, Rect(max.x, screen->r.min.y, screen->r.max.x, screen->r.max.y),
179 display->white, nil, ZP);
180 else /* moved right, clear left*/
181 draw(screen, Rect(screen->r.min.x, screen->r.min.y, min.x, screen->r.max.y),
182 display->white, nil, ZP);
183 if(mouse.xy.y < lastxy.y) /* moved up, clear down */
184 draw(screen, Rect(screen->r.min.x, max.y, screen->r.max.x, screen->r.max.y),
185 display->white, nil, ZP);
186 else /* moved down, clear up */
187 draw(screen, Rect(screen->r.min.x, screen->r.min.y, screen->r.max.x, min.y),
188 display->white, nil, ZP);
189 flushimage(display, 1);
190 }while(mouse.buttons);
192 xyoffset = addpt(xyoffset, subpt(mouse.xy, xy));
198 static char *getmousestr(void)
204 return "p"; /* repaint after panning */
207 } else if (last_but == 3) {
214 screenprint("page? ");
219 sprint(buf, "m%g", mag * 1.1);
222 sprint(buf, "m%g", mag / 1.1);
231 } else { /* button 1 or bail out */
237 checkmouse(void) /* return button touched if any */
241 extern int confirm(int);
248 last_hit = emenuhit(3, &mouse, &mbut3);
250 } else if (button2(b)) {
251 last_hit = emenuhit(2, &mouse, &mbut2);
253 } else { /* button1() */
258 if (last_but == 3 && last_hit >= 0) {
260 c = p[strlen(p) - 1];
262 if (c == '?' && !confirm(last_but))
268 { 0, 0}, /* offset */
269 { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
270 0x00, 0x00, 0x00, 0x0C, 0x00, 0x82, 0x04, 0x41,
271 0xFF, 0xE1, 0x5F, 0xF1, 0x3F, 0xFE, 0x17, 0xF0,
272 0x03, 0xE0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, },
273 { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
274 0x00, 0x00, 0x00, 0x0C, 0x00, 0x82, 0x04, 0x41,
275 0xFF, 0xE1, 0x5F, 0xF1, 0x3F, 0xFE, 0x17, 0xF0,
276 0x03, 0xE0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }
281 { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
282 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
283 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
284 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, },
285 { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
286 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
287 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
288 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, }
293 { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xC0, 0x03,
294 0xE7, 0xE7, 0x3F, 0xFC, 0x0F, 0xF0, 0x0D, 0xB0,
295 0x07, 0xE0, 0x06, 0x60, 0x37, 0xEC, 0xE4, 0x27,
296 0xC3, 0xC3, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, },
297 { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xC0, 0x03,
298 0xE7, 0xE7, 0x3F, 0xFC, 0x0F, 0xF0, 0x0D, 0xB0,
299 0x07, 0xE0, 0x06, 0x60, 0x37, 0xEC, 0xE4, 0x27,
300 0xC3, 0xC3, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }
304 confirm(int but) /* ask for confirmation if menu item ends with '?' */
307 static int but_cvt[8] = { 0, 1, 2, 0, 3, 0, 0, 0 };
313 return but == but_cvt[c];