| Re: [platform-ui-dev] Review https://bugs.eclipse.org/bugs/show_bug.cgi?id=437747 |
Thanks Paul.
The MenuManager is not the correct place to fix this problem.
Paul Webster
Eclipse Platform UI Component Lead
IBM Rational Canada
Lars Vogel ---07/25/2014 01:45:58 AM---Hi, https://bugs.eclipse.org/bugs/show_bug.cgi?id=437747 is critical for RCP
From: Lars Vogel <lars.vogel@xxxxxxxxx>
To: "Eclipse Platform UI component developers list." <platform-ui-dev@xxxxxxxxxxx>
Date: 07/25/2014 01:45 AM
Subject: [platform-ui-dev] Review https://bugs.eclipse.org/bugs/show_bug.cgi?id=437747
Sent by: platform-ui-dev-bounces@xxxxxxxxxxx
Hi,
https://bugs.eclipse.org/bugs/show_bug.cgi?id=437747 is critical for RCP customers.
Steven provided a patch for it which works. But before putting this into the maintenance release I would like that someone else validates if that is the correct solution.
Best regards, Lars_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/platform-ui-dev
