java-gnome version 4.1.2
org.gnome.gtk

Interface TextBuffer.EndUserAction


java-gnome