[isabelle-dev] Your Report (Bug ID: 9004689 ) - Mac OS X key event confusion for "COMMAND PLUS" (fwd)

[Makarius]

I am forwarding this old mail by some robot at Oracle here, since the 
issue of "triplication of COMMAND PLUS key events on Mac OS X" was 
discussed occasionally on the mailing list.

This includes the meta-question if it makes sense to feed the tracker of 
that huge and unmovable company.  So far I did not get any further 
response, and I did not manage to retrieve item 9004689 from 
http://bugs.sun.com/ either.

This should not discourage anyone else to try again.  Maybe I've just got 
something wrong presenting new entries to their menagerie.


 	Makarius

---------- Forwarded message ----------
Date: Mon, 1 Jul 2013 08:59:10 -0600 (MDT)
From: "Bug-Report-Daemon_WW at ORACLE.COM" <Bug-Report-Daemon_WW at ORACLE.COM>
To: makarius at sketis.net
Subject: Your Report (Bug ID: 9004689 ) - Mac OS X key event confusion for
     "COMMAND PLUS"

Dear Java Developer,

Thank you for reporting this issue.

We have determined that this report is a new bug and have entered the bug into our bug tracking system under Bug Id: 9004689. You can look for related issues on the Java Bug Database at http://bugs.sun.com.

We will try to process all newly posted bugs in a timely manner, but we make no promises about the amount of time in which a bug will be fixed. If you just reported a bug that could have a major impact on your project, consider using one of the technical support offerings available at Oracle Support.

Thanks again for your submission!

Regards,
Java Developer Support