sys/src/cmd/proof/screen.c

   1 #include <u.h>
   2 #include <libc.h>
   3 #include <draw.h>
   4 #include <cursor.h>
   5 #include <event.h>
   6 #include <bio.h>
   7 #include "proof.h"
   8
   9 static  int     checkmouse(void);
  10 static  int     buttondown(void);
  11 static  char    *getmousestr(void);
  12 static  char    *getkbdstr(int);
  13
  14 extern  Cursor  blot;
  15 extern  char    *track;
  16
  17 Mouse   mouse;
  18
  19 void
  20 mapscreen(void)
  21 {
  22         if(initdraw(0, 0, "proof") < 0){
  23                 fprint(2, "proof: initdraw failed: %r\n");
  24                 exits("initdraw");
  25         }
  26         einit(Ekeyboard|Emouse);
  27 }
  28
  29 void
  30 clearscreen(void)
  31 {
  32         draw(screen, screen->r, display->black, nil, ZP);
  33 }
  34
  35 void
  36 screenprint(char *fmt, ...)
  37 {
  38         char buf[100];
  39         Point p;
  40         va_list args;
  41
  42         va_start(args, fmt);
  43         vseprint(buf, &buf[sizeof buf], fmt, args);
  44         va_end(args);
  45         p = Pt(screen->clipr.min.x+40, screen->clipr.max.y-40);
  46         string(screen, p, display->black, ZP, font, buf);
  47 }
  48
  49 #define Viewkey 0xb2
  50
  51 char *
  52 getcmdstr(void)
  53 {
  54         Event ev;
  55         int e;
  56         static ulong timekey = 0;
  57         ulong tracktm = 0;
  58         Dir *dir;
  59
  60         if(track){
  61                 if(timekey == 0)
  62                         timekey = etimer(0, 5000);
  63                 dir = dirstat(track);
  64                 if(dir != nil){
  65                         tracktm = dir->mtime;
  66                         free(dir);
  67                 }
  68         }
  69         for (;;) {
  70                 e = event(&ev);
  71                 if(resized){
  72                         resized = 0;
  73                         return "p";
  74                 }
  75                 if ((e & Emouse) && ev.mouse.buttons) {
  76                         mouse = ev.mouse;
  77                         return getmousestr();
  78                 } else if (e & Ekeyboard)
  79                         return getkbdstr(ev.kbdc);      /* sadly, no way to unget */
  80                 else if (e & timekey) {
  81                         if((dir = dirstat(track)) != nil){
  82                                 if(tracktm < dir->mtime){
  83                                         free(dir);
  84                                         return "q";
  85                                 }
  86                                 free(dir);
  87                         }
  88                 }
  89         }
  90 }
  91
  92 static char *
  93 getkbdstr(int c0)
  94 {
  95         static char buf[100];
  96         char *p;
  97         int c;
  98
  99         if (c0 == '\n')
 100                 return "";
 101         buf[0] = c0;
 102         buf[1] = 0;
 103         screenprint("%s", buf);
 104         for (p = buf+1; (c = ekbd()) != '\n' && c != '\r' && c != -1 && c != Viewkey; ) {
 105                 if (c == '\b' && p > buf) {
 106                         *--p = ' ';
 107                 } else {
 108                         *p++ = c;
 109                         *p = 0;
 110                 }
 111                 screenprint("%s", buf);
 112         }
 113         *p = 0;
 114         return buf;
 115 }
 116
 117
 118 #define button3(b)      ((b) & 4)
 119 #define button2(b)      ((b) & 2)
 120 #define button1(b)      ((b) & 1)
 121 #define button23(b)     ((b) & 6)
 122 #define button123(b)    ((b) & 7)
 123
 124 #define butcvt(b)       (1 << ((b) - 1))
 125
 126 int waitdown(void)      /* wait until some button is down */
 127 {
 128         while (!(mouse.buttons & 7))
 129                 mouse = emouse();
 130         return mouse.buttons & 7;
 131 }
 132
 133 int waitup(void)
 134 {
 135         while (mouse.buttons & 7)
 136                 mouse = emouse();
 137         return mouse.buttons & 7;
 138 }
 139
 140 char *m3[]      = { "next", "prev", "page n", "again", "bigger", "smaller", "pan", "quit?", 0 };
 141 char *m2[]      = { 0 };
 142
 143 enum { Next = 0, Prev, Page, Again, Bigger, Smaller, Pan, Quit };
 144
 145 Menu    mbut3   = { m3, 0, 0 };
 146 Menu    mbut2   = { m2, 0, 0 };
 147
 148 int     last_hit;
 149 int     last_but;
 150
 151 char *pan(void)
 152 {
 153         Point dd, xy, lastxy, min, max;
 154
 155         esetcursor(&blot);
 156         waitdown();
 157         xy = mouse.xy;
 158         do{
 159                 lastxy = mouse.xy;
 160                 mouse = emouse();
 161                 dd = subpt(mouse.xy, lastxy);
 162                 min = addpt(screen->clipr.min, dd);
 163                 max = addpt(screen->clipr.max, dd);
 164                 draw(screen, rectaddpt(screen->r, subpt(mouse.xy, lastxy)),
 165                         screen, nil, screen->r.min);
 166                 if(mouse.xy.x < lastxy.x)       /* moved left, clear right */
 167                         draw(screen, Rect(max.x, screen->r.min.y, screen->r.max.x, screen->r.max.y),
 168                                 display->white, nil, ZP);
 169                 else    /* moved right, clear left*/
 170                         draw(screen, Rect(screen->r.min.x, screen->r.min.y, min.x, screen->r.max.y),
 171                                 display->white, nil, ZP);
 172                 if(mouse.xy.y < lastxy.y)       /* moved up, clear down */
 173                         draw(screen, Rect(screen->r.min.x, max.y, screen->r.max.x, screen->r.max.y),
 174                                 display->white, nil, ZP);
 175                 else            /* moved down, clear up */
 176                         draw(screen, Rect(screen->r.min.x, screen->r.min.y, screen->r.max.x, min.y),
 177                                 display->white, nil, ZP);
 178                 flushimage(display, 1);
 179         }while(mouse.buttons);
 180
 181         xyoffset = addpt(xyoffset, subpt(mouse.xy, xy));
 182
 183         esetcursor(0);
 184         return "p";
 185 }
 186
 187 static char *
 188 getmousestr(void)
 189 {
 190         static char buf[64];
 191
 192         checkmouse();
 193         if (last_but == 1)
 194                 return "p";     /* repaint after panning */
 195         if (last_but == 2) {
 196                 return "c";
 197         } else if (last_but == 3) {
 198                 switch (last_hit) {
 199                 case Next:
 200                         return "";
 201                 case Prev:
 202                         return "-1";
 203                 case Page:
 204                         screenprint("page? ");
 205                         return "c";
 206                 case Again:
 207                         return "p";
 208                 case Bigger:
 209                         snprint(buf, sizeof buf, "m%g", mag * 1.1);
 210                         return buf;
 211                 case Smaller:
 212                         snprint(buf, sizeof buf, "m%g", mag / 1.1);
 213                         return buf;
 214                 case Pan:
 215                         return pan();
 216                 case Quit:
 217                         return "q";
 218                 default:
 219                         return "c";
 220                 }
 221         } else {                /* button 1 or bail out */
 222                 return "c";
 223         }
 224 }
 225
 226 static int
 227 checkmouse(void)        /* return button touched if any */
 228 {
 229         int c, b;
 230         char *p;
 231         extern int confirm(int);
 232
 233         b = waitdown();
 234         last_but = 0;
 235         last_hit = -1;
 236         c = 0;
 237         if (button3(b)) {
 238                 last_hit = emenuhit(3, &mouse, &mbut3);
 239                 last_but = 3;
 240         } else if (button2(b)) {
 241                 last_hit = emenuhit(2, &mouse, &mbut2);
 242                 last_but = 2;
 243         } else {                /* button1() */
 244                 pan();
 245                 last_but = 1;
 246         }
 247         waitup();
 248         if (last_but == 3 && last_hit >= 0) {
 249                 p = m3[last_hit];
 250                 c = p[strlen(p) - 1];
 251         }
 252         if (c == '?' && !confirm(last_but))
 253                 last_hit = -1;
 254         return last_but;
 255 }
 256
 257 Cursor deadmouse = {
 258         { 0, 0},        /* offset */
 259         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 260           0x00, 0x00, 0x00, 0x0C, 0x00, 0x82, 0x04, 0x41,
 261           0xFF, 0xE1, 0x5F, 0xF1, 0x3F, 0xFE, 0x17, 0xF0,
 262           0x03, 0xE0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, },
 263         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 264           0x00, 0x00, 0x00, 0x0C, 0x00, 0x82, 0x04, 0x41,
 265           0xFF, 0xE1, 0x5F, 0xF1, 0x3F, 0xFE, 0x17, 0xF0,
 266           0x03, 0xE0, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }
 267 };
 268
 269 Cursor blot ={
 270         { 0, 0 },
 271         { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 272           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 273           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 274           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, },
 275         { 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 276           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 277           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
 278           0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, }
 279 };
 280
 281 Cursor skull ={
 282         { 0, 0 },
 283         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xC0, 0x03,
 284           0xE7, 0xE7, 0x3F, 0xFC, 0x0F, 0xF0, 0x0D, 0xB0,
 285           0x07, 0xE0, 0x06, 0x60, 0x37, 0xEC, 0xE4, 0x27,
 286           0xC3, 0xC3, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, },
 287         { 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xC0, 0x03,
 288           0xE7, 0xE7, 0x3F, 0xFC, 0x0F, 0xF0, 0x0D, 0xB0,
 289           0x07, 0xE0, 0x06, 0x60, 0x37, 0xEC, 0xE4, 0x27,
 290           0xC3, 0xC3, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, }
 291 };
 292
 293 confirm(int but)        /* ask for confirmation if menu item ends with '?' */
 294 {
 295         int c;
 296         static int but_cvt[8] = { 0, 1, 2, 0, 3, 0, 0, 0 };
 297
 298         esetcursor(&skull);
 299         c = waitdown();
 300         waitup();
 301         esetcursor(0);
 302         return but == but_cvt[c];
 303 }