From: H.G. Muller <h.g.muller@hccnet.nl>
Date: Sat, 31 Mar 2012 08:53:46 +0000 (+0200)
Subject: Remove unnecessary menu unmarking for Edit Tags
X-Git-Url: http://winboard.nl/cgi-bin?a=commitdiff_plain;h=615b39fd286deca7e48f8245247ae307d426dbad;p=xboard.git

Remove unnecessary menu unmarking for Edit Tags
---

diff --git a/xedittags.c b/xedittags.c
index 0235da4..417c2b6 100644
--- a/xedittags.c
+++ b/xedittags.c
@@ -119,11 +119,5 @@ EditTagsProc ()
 {
     Arg args[5];
     int j;
-    if (!bookUp && PopDown(TagsDlg)) {
-	j = 0;
-	XtSetArg(args[j], XtNleftBitmap, None); j++;
-	XtSetValues(XtNameToWidget(menuBarWidget, "menuView.Show Tags"), args, j);
-    } else {
-	EditTagsEvent();
-    }
+    if (bookUp || !PopDown(TagsDlg)) EditTagsEvent();
 }