Is it possible to disable the options menu in the sidebar so that it does not show? Using CVS HEAD. Thanks. AJ