ManfredHerr Messages: 67 Registered: February 2013 Location: Germany
Member
On Ubuntu 12.04/14.04 I saw the same effect, but with F5 rather than F7. I thought to have pressed an unknown key combination since there are many not listed in the help...
Another strange effect I noticed recently is with drop lists of my application. When the dialog comes up, the drop list doesn't drop when clicked. If I move the window or click some input fields before then the drop list behaves as expected.