- Make colour change instant instead of at next update.
- flush text in a few more important places
else:
self.colour = self.colour_black
self.colourname = "black"
+ if self.textstr:
+ self.draw_text(self.textpos, self.colour, self.textstr,
+ self.textcurs)
+
return
def text_change(self,t):
self.flush_text()
# New name is either
# - take last number and increment it
# - add .1
+ self.flush_text()
if len(self.lines) == 0:
# don't add after a blank page
return
self.redraw()
return
def delete(self,b):
+ self.flush_text()
if len(self.names) <= 1:
return
if len(self.lines) > 0: