Go to the first, previous, next, last section, table of contents.


The Frx_ctext module

val create :
  Widget.widget -> Tk.options list -> bool -> Widget.widget * Widget.widget

create parent opts nav_keys creates a text widget with "pixel scrolling". Based on a trick learned from Steve Ball. Returns (frame widget, text widget).


Go to the first, previous, next, last section, table of contents.