It's a great client and used it for years. But I have some issues. Sometimes the cursor disappear and ctrl-enter stops working. Anyone experienced something similar and know what it could be? I run on a rather minimalistic UI environment and might lack some desktop festures.