Make the pulldown widget in the Tip Viewer appear when clicked again
Make the pulldown widget in the Tip Viewer appear when clicked again

sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm,sedwards2009/extraterm