Changeset 4677
- Timestamp:
- 09/28/08 03:44:31 (5 years ago)
- File:
-
- 1 edited
-
developers/werner/ahrt/host/tmc/lib/dxplore.py (modified) (7 diffs)
Legend:
- Unmodified
- Added
- Removed
-
developers/werner/ahrt/host/tmc/lib/dxplore.py
r4663 r4677 34 34 color_normal = "green" 35 35 color_selected = "yellow" 36 color_edit = "red" 37 edit_border = 2 36 38 decode_color = "white" 37 39 decode_bg_color = "#4040ff" … … 44 46 self.zoom_tag = "d_z_%d" % number 45 47 self.d = data 48 self.edits = [] 46 49 self.draw() 47 50 … … 49 52 if self.main.pos0 > len(self.d): 50 53 return 54 55 for pos in self.edits: 56 if pos < self.main.pos0: 57 return 58 self.main.w.create_rectangle( 59 self.x(pos)-self.edit_border, self.y(0)+self.edit_border, 60 self.x(pos+1)+self.edit_border, self.y(1)-self.edit_border, 61 fill = self.color_edit, outline = self.color_edit, 62 tags = "d_ed_"+self.tag) 63 51 64 pos0 = max(0, self.main.pos0) 52 65 last = self.d[pos0] … … 87 100 def redraw(self): 88 101 self.main.w.delete(self.tag) 102 self.main.w.delete("d_ed_"+self.tag) 89 103 self.draw() 90 104 … … 134 148 self.main.w.delete("d_fg_"+self.tag) 135 149 self.main.w.delete("d_bg_"+self.tag) 150 151 def edit(self, pos): 152 self.d[pos] = 1-self.d[pos] 153 if pos in self.edits: 154 self.edits.remove(pos) 155 else: 156 self.edits.append(pos) 157 self.redraw() 136 158 137 159 … … 430 452 master.bind(".", self.center) 431 453 master.bind("c", self.center) 454 master.bind("e", self.edit) 432 455 master.bind("<space>", self.user_coord) 433 456 … … 679 702 self.meas_start.hide() 680 703 704 def edit(self, event): 705 if self.selected is None: 706 return 707 self.selected.edit(self.cur.pos) 708 self.cur.move(self.cur.x) 709 681 710 682 711 class dxplore:
Note: See TracChangeset
for help on using the changeset viewer.
