- made "Keep on Top" in the dock/clip menu a checked menu entry. It's _much_

easier to work with it this way.
- better naming of options in the clip options menu.
- better detection of whether to use EXEC or SHEXEC in WPrefs menu editor.

WPrefs.app/Menu.c

@@ -1626,7 +1626,7 @@ processData(char *title, ItemData *data)
     switch (data->type) {
      case ExecInfo:
 #if 1
-	if (strpbrk(data->param.exec.command, "&$*|><?`=")) {
+	if (strpbrk(data->param.exec.command, "&$*|><?`=;")) {
 	    s1 = "SHEXEC";
 	} else {
 	    s1 = "EXEC";