java-gnome version 4.1.3
org.gnome.sourceview

Interface SourceView.Undo


java-gnome