[ CCode ( has_construct_function = false , type = "GtkWidget*" ) ]
public SourceView.with_buffer (SourceBuffer buffer)
Creates a new SourceView widget displaying the buffer buffer.
One buffer can be shared among many widgets.
| buffer |
a SourceBuffer. |
|
a new SourceView. |