User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax)
I am using 3.2M6 and at times Eclipse would not respond to key strokes
like open type, that is, pressing 'F3' on higlighted text or
Shift+Control+T. Has anyone experienced this problem?