— procedure: show-coot-tip-from-list n text

given a number and a gtk text widget text, put tip number n into the widget.

— procedure: increment-coot-tip-number

increment the tip number when the user sees a tip

— procedure: decrease-coot-tip-number

decrement the tip number when the user sees a tip

— procedure: tips-gui

run the tips gui.