Differences From Artifact [d4577900b4db97c1]:
- File        
src/gui.d
- 2012-07-15 02:37:41 - part of checkin [c2c105fda0] on branch trunk - Support 'G' at any timing. (user: kinaba) [annotate]
- 2012-07-15 12:14:10 - part of checkin [e02668367d] on branch trunk - Revert redesign in the trunk. (user: kinaba) [annotate]
 
To Artifact [9f0067d733f090c1]:
- File        
src/gui.d
- 2012-07-15 12:20:17 - part of checkin [0e9ec945bb] on branch trunk - horock gui. (user: kinaba) [annotate]
 
   58          {                                                                             58          {
   59                  this.graphicContext = new MemoryGraphics(this.clientSize.width,       59                  this.graphicContext = new MemoryGraphics(this.clientSize.width, 
   60                  this.setStyle(ControlStyles.OPAQUE, true);                            60                  this.setStyle(ControlStyles.OPAQUE, true);
   61                  this.font = new Font("MS Gothic", cell-2, GraphicsUnit.PIXEL);        61                  this.font = new Font("MS Gothic", cell-2, GraphicsUnit.PIXEL);
   62                  this.backColor = Color(255,255,255);                                  62                  this.backColor = Color(255,255,255);
   63                  this.colors['#'] =                                                    63                  this.colors['#'] =
   64                  this.colors['.'] = Color(255,191,127);                                64                  this.colors['.'] = Color(255,191,127);
   65                  this.colors['*'] = Color(255,127,127);                           |    65                  this.colors['*'] =
                                                                                        >    66                  this.colors['@'] = Color(255,127,127);
   66                  this.colors['R'] = Color(128,128,0);                                  67                  this.colors['R'] = Color(128,128,0);
   67                  this.colors['d'] = Color(255,0,0);                                    68                  this.colors['d'] = Color(255,0,0);
   68                  this.colors['\\'] =                                                   69                  this.colors['\\'] =
   69                  this.colors['L'] =                                                    70                  this.colors['L'] =
   70                  this.colors['O'] = Color(127,255,127);                                71                  this.colors['O'] = Color(127,255,127);
   71                  this.colors['w'] = Color(204,229,255);                                72                  this.colors['w'] = Color(204,229,255);
   72                  this.colors['W'] =                                                    73                  this.colors['W'] =
   73                  this.colors['!'] = Color(159,159,159);                                74                  this.colors['!'] = Color(159,159,159);
   74                  foreach(char c; 'A'..'J') this.colors[c] = Color(142,142,255);        75                  foreach(char c; 'A'..'J') this.colors[c] = Color(142,142,255);
   75                  foreach(char c; '1'..':') this.colors[c] = Color(255,142,255);        76                  foreach(char c; '1'..':') this.colors[c] = Color(255,142,255);
   76                  this.render['#'] = "■";                                               77                  this.render['#'] = "■";
   77                  this.render['*'] = "✹";                                               78                  this.render['*'] = "✹";
                                                                                        >    79                  this.render['@'] = "❁";
   78                  this.render['.'] = "♒";                                               80                  this.render['.'] = "♒";
   79                  this.render['\\'] = "λ";                                              81                  this.render['\\'] = "λ";
   80                  this.render['R'] = "☃";                                               82                  this.render['R'] = "☃";
   81                  this.render['d'] = "☠";                                               83                  this.render['d'] = "☠";
   82                  this.render['L'] = "☒";                                               84                  this.render['L'] = "☒";
   83                  this.render['O'] = "☐";                                               85                  this.render['O'] = "☐";
   84                  this.render['W'] = "ꔣ";                                               86                  this.render['W'] = "ꔣ";