mutable elements =
      new elements param (output_view :> GText.view)