# File ext/widgets.rb, line 282
  def text=(val)
    val=val.slice(0,12) if val.size>12
    @textinput.text = val
  end