package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `GSourceView.source_undo_manager_signals`Source

method after : 'a

method can_redo_changed : callback:(unit -> unit) -> GtkSignal.id

method can_undo_changed : callback:(unit -> unit) -> GtkSignal.id