Community
Participate
Working Groups
Created attachment 21162 [details] fix - org.eclipse.platform.doc.user
Created attachment 21163 [details] fix - org.eclipse.ui.workbench
Patch applied to HEAD.
Verified with Tods help in I20070807-0010