void scroll_to_mark(GtkTextMark mark, double within_margin [, bool use_align = false [, double xalign = 0.5 [, double yalign = 0.5]]]);