Attachment 10563 Details for Bug 60479 – Patch for the tab folders

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

[patch] Patch for the tab folders

presentation_layout_patch.txt (text/plain), 2.13 KB, created by Ines Khelifi

on 2004-05-12 15:31:23 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Ines Khelifi

Created: 2004-05-12 15:31:23 EDT

Size: 2.13 KB

patch

obsolete

>Index: Eclipse UI/org/eclipse/ui/internal/presentations/DefaultEditorPresentation.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/presentations/DefaultEditorPresentation.java,v
>retrieving revision 1.2
>diff -u -r1.2 DefaultEditorPresentation.java
>--- Eclipse UI/org/eclipse/ui/internal/presentations/DefaultEditorPresentation.java	11 May 2004 22:59:53 -0000	1.2
>+++ Eclipse UI/org/eclipse/ui/internal/presentations/DefaultEditorPresentation.java	12 May 2004 19:11:58 -0000
>@@ -52,6 +52,7 @@
>                 int tabLocation = preferenceStore
>                         .getInt(IPreferenceConstants.EDITOR_TAB_POSITION);
>                 getTabFolder().setTabPosition(tabLocation);
>+                layout(false);
>             } else if (IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS
>                     .equals(propertyChangeEvent.getProperty())
>                     && !isDisposed()) {
>Index: Eclipse UI/org/eclipse/ui/internal/presentations/DefaultViewPresentation.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/presentations/DefaultViewPresentation.java,v
>retrieving revision 1.2
>diff -u -r1.2 DefaultViewPresentation.java
>--- Eclipse UI/org/eclipse/ui/internal/presentations/DefaultViewPresentation.java	11 May 2004 23:00:13 -0000	1.2
>+++ Eclipse UI/org/eclipse/ui/internal/presentations/DefaultViewPresentation.java	12 May 2004 19:11:58 -0000
>@@ -42,6 +42,7 @@
> 			if (IPreferenceConstants.VIEW_TAB_POSITION.equals(propertyChangeEvent.getProperty()) && !isDisposed()) {
> 				int tabLocation = preferenceStore.getInt(IPreferenceConstants.VIEW_TAB_POSITION); 
> 				getTabFolder().setTabPosition(tabLocation);
>+				layout(false);
> 			} else if (IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS.equals(propertyChangeEvent.getProperty()) && !isDisposed()) {
> 				boolean traditionalTab = apiPreferenceStore.getBoolean(IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS); 
> 				setTabStyle(traditionalTab);

Actions: View | Diff

Attachments on bug 60479: 10540 | 10563