Attachment 5963 Details for Bug 37280 – Patch to WorkbenchPlugin

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Patch to WorkbenchPlugin

org.eclipse.ui.workbench-Bug37280_extra.patch (text/plain), 989 bytes, created by Douglas Pollock

on 2003-09-03 15:33:57 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Douglas Pollock

Created: 2003-09-03 15:33:57 EDT

Size: 989 bytes

patch

obsolete

>Index: Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java,v
>retrieving revision 1.38
>diff -u -r1.38 WorkbenchPlugin.java
>--- Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java	25 Aug 2003 18:13:26 -0000	1.38
>+++ Eclipse UI/org/eclipse/ui/internal/WorkbenchPlugin.java	3 Sep 2003 19:30:04 -0000
>@@ -409,6 +409,7 @@
> 		store.setDefault(IPreferenceConstants.EDITORLIST_PULLDOWN_ACTIVE, false);
> 		store.setDefault(IPreferenceConstants.EDITORLIST_DISPLAY_FULL_NAME, false);
> 		store.setDefault(IPreferenceConstants.CLOSE_EDITORS_ON_EXIT, false);
>+		store.setDefault(IPreferenceConstants.STICKY_CYCLE, false);
> 		store.setDefault(IPreferenceConstants.REUSE_EDITORS_BOOLEAN, false);
> 		store.setDefault(IPreferenceConstants.REUSE_DIRTY_EDITORS, true);
> 		store.setDefault(IPreferenceConstants.REUSE_EDITORS, 8);

Actions: View | Diff

Attachments on bug 37280: 5944 | 5963