mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-24 01:15:29 +02:00
Code Issues Wiki Activity

Bug 567455 - Stop using the

Browse source 
IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS

Change-Id: I6ee225298d68d68c65cfe6c55e662107055a4238
Signed-off-by: Alexander Kurtakov <akurtako@redhat.com>
This commit is contained in:
Alexander Kurtakov 2020-09-29 19:15:14 +03:00
parent b5a9c1eeb9
commit de70eaa5c5
1 changed files with 0 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
terminal/plugins/org.eclipse.tm.terminal.view.ui/src/org/eclipse/tm/terminal/view/ui/view/TerminalsView.java
View file

@ -64,7 +64,6 @@ import org.eclipse.tm.terminal.view.ui.view.showin.GitShowInContextHandler;
import org.eclipse.ui.IMemento;
import org.eclipse.ui.ISources;
import org.eclipse.ui.IViewSite;
import org.eclipse.ui.IWorkbenchPreferenceConstants;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.commands.ICommandService;
@ -478,10 +477,6 @@ public class TerminalsView extends ViewPart implements ITerminalsView, IShowInTa
tabFolder.setSelectionForeground(
JFaceResources.getColorRegistry().get("org.eclipse.ui.workbench.ACTIVE_TAB_TEXT_COLOR")); //$NON-NLS-1$
// Set the tab style from the global preferences
tabFolder.setSimple(
PlatformUI.getPreferenceStore().getBoolean(IWorkbenchPreferenceConstants.SHOW_TRADITIONAL_STYLE_TABS));
// Attach the mouse listener
tabFolder.addMouseListener(new MouseAdapter() {
@Override