void TagsPopDown()
{
PopDown(2);
+ bookUp = False;
}
void
{
Arg args[5];
int j;
- if (PopDown(2)) {
+ if (!bookUp && PopDown(2)) {
j = 0;
XtSetArg(args[j], XtNleftBitmap, None); j++;
XtSetValues(XtNameToWidget(menuBarWidget, "menuView.Show Tags"), args, j);