diff options
-rw-r--r-- | org.eclipse.debug.ui/plugin.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.ui/plugin.properties b/org.eclipse.debug.ui/plugin.properties index 44456ebee..7adbb7097 100644 --- a/org.eclipse.debug.ui/plugin.properties +++ b/org.eclipse.debug.ui/plugin.properties @@ -340,7 +340,7 @@ PinMemoryBlockAction.label=&Pin Memory Monitor PinMemoryBlockAction.tooltip=Pin Memory Monitor TableRenderingInfo.label = Rendering Selection -preferenceKeywords.general=run debug breakpoints variables color editor source code conditional workbench expression confirmation memory +preferenceKeywords.general=run debug breakpoints variables color editor source code conditional workbench expression confirmation memory reuse preferenceKeywords.console=run debug console stdout stderr color process fixed width character write standard program background in out error preferenceKeywords.launching=run debug launching build required dirty editor build wait workspace continue project error remove terminate launch history context previous selected resource preferenceKeywords.stringSubstitution=run debug variables string substitution launch |