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...@oracle.com" <bug-report-daemon...@oracle.com>
To: makar...@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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
