77 this.render['R'] = "☃"; 77 this.render['R'] = "☃"; 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 this.render['O'] = "☐"; 82 this.render['W'] = "ꔣ"; 82 this.render['W'] = "ꔣ"; 83 this.render['!'] = "✄"; 83 this.render['!'] = "✄"; > 84 foreach(char c; g.tr.source_list) 84 foreach(c,tp; g.map.tr_target) this.render[c] = [cast(dchar)('☢' | 85 this.render[c] = [cast(dchar)('☢'+g.tr.target_of(c)-'1') > 86 foreach(char c; g.tr.target_list) 85 foreach(char c; '1'..':') this.render[c] = [cast(dchar)('☢' | 87 this.render[c] = [cast(dchar)('☢'+c-'1')].to!string(); 86 this.paint ~= (Control c, PaintEventArgs ev) { 88 this.paint ~= (Control c, PaintEventArgs ev) { 87 graphicContext.copyTo(ev.graphics, Rect(0,0,this.clientS 89 graphicContext.copyTo(ev.graphics, Rect(0,0,this.clientS 88 }; 90 }; 89 } 91 } 90 92 91 void draw(in Game g) 93 void draw(in Game g) 92 { 94 {