sig
  val can_redo : ([> `sourcebuffer ], bool) Gobject.property
  val can_undo : ([> `sourcebuffer ], bool) Gobject.property
  val highlight_matching_brackets :
    ([> `sourcebuffer ], bool) Gobject.property
  val highlight_syntax : ([> `sourcebuffer ], bool) Gobject.property
  val language :
    ([> `sourcebuffer ],
     GtkSourceView3_types.source_language Gobject.obj option)
    Gobject.property
  val max_undo_levels : ([> `sourcebuffer ], int) Gobject.property
  val style_scheme :
    ([> `sourcebuffer ],
     GtkSourceView3_types.source_style_scheme Gobject.obj option)
    Gobject.property
  val undo_manager :
    ([> `sourcebuffer ],
     GtkSourceView3_types.source_undo_manager Gobject.obj)
    Gobject.property
end