1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-09 10:05:24 +02:00

committing patch for Bug 160294

This commit is contained in:
David McKnight 2006-10-23 17:33:31 +00:00
parent 505f66e7de
commit 46b928da73

View file

@ -58,7 +58,6 @@ import org.eclipse.swt.layout.GridLayout;
import org.eclipse.swt.widgets.Button; import org.eclipse.swt.widgets.Button;
import org.eclipse.swt.widgets.Composite; import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Event; import org.eclipse.swt.widgets.Event;
import org.eclipse.swt.widgets.Group;
import org.eclipse.swt.widgets.Label; import org.eclipse.swt.widgets.Label;
import org.eclipse.swt.widgets.Listener; import org.eclipse.swt.widgets.Listener;
import org.eclipse.swt.widgets.Table; import org.eclipse.swt.widgets.Table;
@ -160,7 +159,7 @@ FocusListener
private Button _upButton; private Button _upButton;
private Button _downButton; private Button _downButton;
private Composite _inputContainer; private Composite _inputContainer;
private Group _tabFolderPage; private Composite _tabFolderPage;
private int _commandHistoryOffset; private int _commandHistoryOffset;
private SystemCommandsViewPart _viewPart; private SystemCommandsViewPart _viewPart;
@ -182,7 +181,7 @@ FocusListener
public Composite createTabFolderPage(CTabFolder tabFolder, CellEditorActionHandler editorActionHandler) public Composite createTabFolderPage(CTabFolder tabFolder, CellEditorActionHandler editorActionHandler)
{ {
_tabFolderPage = new Group(tabFolder, SWT.NULL); _tabFolderPage = new Composite(tabFolder, SWT.NULL);
Font font = tabFolder.getFont(); Font font = tabFolder.getFont();
_tabFolderPage.setFont(font); _tabFolderPage.setFont(font);
@ -190,7 +189,7 @@ FocusListener
// fix for 138311 // fix for 138311
String dummyTitle = ShellResources.RESID_SHELLS_COMMAND_SHELL_LABEL; String dummyTitle = ShellResources.RESID_SHELLS_COMMAND_SHELL_LABEL;
_tabFolderPage.setText(dummyTitle); // _tabFolderPage.setText(dummyTitle);
GridLayout gridLayout = new GridLayout(); GridLayout gridLayout = new GridLayout();
_tabFolderPage.setLayout(gridLayout); _tabFolderPage.setLayout(gridLayout);
createControl(_tabFolderPage); createControl(_tabFolderPage);
@ -505,7 +504,7 @@ FocusListener
msg.makeSubstitution(title); msg.makeSubstitution(title);
_title = msg.getLevelOneText(); _title = msg.getLevelOneText();
_tabFolderPage.setText(_title); // _tabFolderPage.setText(_title);
} }
} }