add method (taken from GTK GUI) to goto_nth_marker() to BasicUI