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