74 this.render['#'] = "■"; 74 this.render['#'] = "■"; 75 this.render['*'] = "✹"; 75 this.render['*'] = "✹"; 76 this.render['.'] = "♒"; 76 this.render['.'] = "♒"; 77 this.render['\\'] = "λ"; 77 this.render['\\'] = "λ"; 78 this.render['R'] = "☃"; 78 this.render['R'] = "☃"; 79 this.render['D'] = "☠"; 79 this.render['D'] = "☠"; 80 this.render['L'] = "☒"; 80 this.render['L'] = "☒"; > 81 this.render['O'] = "☐"; 81 foreach(c,tp; g.map.tr_target) { 82 foreach(c,tp; g.map.tr_target) { 82 char d = g.map[tp]; 83 char d = g.map[tp]; 83 this.render[c] = [cast(dchar)('㋀'+d-'1')].to!string(); 84 this.render[c] = [cast(dchar)('㋀'+d-'1')].to!string(); 84 } 85 } 85 foreach(char c; '1'..':') this.render[c] = [cast(dchar)('㏠'+c-'1 86 foreach(char c; '1'..':') this.render[c] = [cast(dchar)('㏠'+c-'1 86 this.paint ~= (Control c, PaintEventArgs ev) { 87 this.paint ~= (Control c, PaintEventArgs ev) { 87 graphicContext.copyTo(ev.graphics, Rect(0,0,this.clientS 88 graphicContext.copyTo(ev.graphics, Rect(0,0,this.clientS