java-gnome version 4.1.3
org.gnome.sourceview

Interface SourceView.Redo


java-gnome