gtk/org.gtk.gtk.widgets/TextView/scrollToMark

scrollToMark

fun scrollToMark(mark: TextMark, withinMargin: Double, useAlign: Boolean, xAlign: Double, yAlign: Double)
Content copied to clipboard