Peter,
Thank you. It seems our minds have been working in a similar fashion. Last night I searched for a plugin that could control the behavior of other plugins, but didn’t find anything.
I also wondered about the is_user_logged_in()
function, and whether I could tweak the plugin by adding a function in my functions.php file, but couldn’t find a way to do that.
What I have now found is a CSS fix. I would never have thought that CSS could do this, but apparently it can. I have just tried putting this within an appropriate media query, and it seems to do the job:
#click-menu { display: none; }
body.logged-in #click-menu { display: block; }
Of course, this still leaves the menu “there,” just not visible. That’s probably good enough for me — unless you are going to tell me that there’s something bad about this method.