Community
Participate
Working Groups
The live editor should be openable by Ctrl+3. This is no longer the case. Broken by ba20d05731c7e31d4909888f4885a0a351dd090a. http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=ba20d05731c7e31d4909888f4885a0a351dd090a
Fix pushed to master. http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=26c0ae616d54a2aa18207df38874e13177bd4fe2
Verified with I20111205-2330 on Windows 7.