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