Colin Walters 4f4e54cbf7 Reset page when doing a FULL redisplay ...

This fixes an issue where the app display would remember the page
between switching menus.

https://bugzilla.gnome.org/show_bug.cgi?id=597577

2009-10-21 17:50:35 -04:00

..

misc

…

ui

Reset page when doing a FULL redisplay

2009-10-21 17:50:35 -04:00

Makefile.am

…