Next / Previous / Contents / Shipman's homepage

1. What does the PageTurner widget do?

This document describes a widget that can be included in a GUI (graphical user interface) application to present one of a set of multiple pages in a frame. The user is presented with “Next” and “Previous” buttons that allow them to page forward and backward through the page set. Pages can also be changed under program control.

This document assumes that the reader is familiar with these tools:

This document describes the external interface to the PageTurner widget. It also contains the code for the widget, in literate programming style. The code was developed using the Cleanroom software development methodology.

Relevant online files: