At one time I had Rubymine configured so that I had a Terminal Ipcon on my menu and I could easily pop into terminal. This was convenient butit has recently disapeared. Does anyone know how to get it back?