package lablgtk3-sourceview3

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `GtkSourceView3Props.SourceUndoManager`Source

val cast : 
  'a Gobject.obj ->
  GtkSourceView3_types.source_undo_manager Gobject.obj

Sourcemodule S : sig ... end

val create : 
  GtkSourceView3_types.source_undo_manager Gobject.param list ->
  GtkSourceView3_types.source_undo_manager Gobject.obj

Sourceval can_undo : [> `sourceundomanager ] Gobject.obj -> bool

Sourceval can_redo : [> `sourceundomanager ] Gobject.obj -> bool

Sourceval undo : [> `sourceundomanager ] Gobject.obj -> unit

Sourceval redo : [> `sourceundomanager ] Gobject.obj -> unit

Sourceval begin_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit

Sourceval end_not_undoable_action : [> `sourceundomanager ] Gobject.obj -> unit

Sourceval can_undo_changed : [> `sourceundomanager ] Gobject.obj -> unit

Sourceval can_redo_changed : [> `sourceundomanager ] Gobject.obj -> unit