[ xdvi-Bugs-1493853 ] pagelist preference not honored (motif)
SourceForge.net <noreply <at> sourceforge.net>
2006-05-25 19:36:09 GMT
Bugs item #1493853, was opened at 2006-05-23 23:23
Message generated for change (Settings changed) made by stefanulrich
You can respond by visiting:
Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: X interface
Group: incorrect behaviour
Submitted By: Peter B Kronheimer (kronheim)
>Assigned to: Stefan Ulrich (stefanulrich)
Summary: pagelist preference not honored (motif)
Using xdvik from the debian distribution, recompiled to
use the motif toolkit:
1. Go to "Preferences" and uncheck "Show pagelist".
2. Note that the pagelist disappears (ok).
3. Quite xdvik.
4. Launch xdvik again.
5. Observe that the pagelist is back again.
At step 5, the pagelist is incorrectly drawn (border
and scrollbar missing, perhaps?). So it is not that the
preference is simply forgotten. The preference is