Project: Eclipse_Platform_UI
Bug 229440 [Commands] Ctrl-C not working in marker properties dialog
Reported: 2008-04-29 14:55:00 | Status: verified fixed

I20080429-0100 - right click on a problem in the problems view and click "Properties". Select the description text and try copying using Ctrl-C. Using "Copy" from the context menu does work.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/services/ActivePartSourceProvider.java