code: def set_markwidth(self):
          
          try:
              sz = int(self.w.mark_width.get_text())
          except ValueError:
              self.logger.error('Cannot set mark width')
              self.w.mark_width.set_text(str(self.markwidth))
          else:
              self.markwidth = sz
docs: Set width of marking.