diff options
| author | Michael Rennie | 2006-10-26 20:12:42 +0000 |
|---|---|---|
| committer | Michael Rennie | 2006-10-26 20:12:42 +0000 |
| commit | f0da4674cfba4f8324ce45917041751c3c46a731 (patch) | |
| tree | 8c2fd0d2c3a2679ab35b8d26bc08ce2bc3ee7075 /org.eclipse.debug.ui/plugin.properties | |
| parent | bf3aff52c24d77c979f858a1aa6ec7dc008591bc (diff) | |
| download | eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.tar.gz eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.tar.xz eclipse.platform.debug-f0da4674cfba4f8324ce45917041751c3c46a731.zip | |
Bug 157059
[launching] extensible launch options
Diffstat (limited to 'org.eclipse.debug.ui/plugin.properties')
| -rw-r--r-- | org.eclipse.debug.ui/plugin.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/plugin.properties b/org.eclipse.debug.ui/plugin.properties index cbe961e93..7083b420b 100644 --- a/org.eclipse.debug.ui/plugin.properties +++ b/org.eclipse.debug.ui/plugin.properties @@ -19,6 +19,7 @@ ConsoleFont.description= The font used by the debug console. ConsoleFont.label= Console font ConsoleLineTrackersExtensionName= Console Line Trackers LaunchingPreferencePage.name=Launching +LaunchDelegatesPreferencePage.name=Launch Tooling ViewManagementPreferencePage.name=View Management ConsolePreferencePage.name=Console DebugModelContextBindingsName=Debug Model Context Bindings |