mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-09-01 04:33:36 +02:00
workaround fro 138311. Need to set the group title so that SWT knows how to allocate UI real estate on non-windows platforms.
This commit is contained in:
parent
8d369ab05b
commit
19317261be
1 changed files with 8 additions and 1 deletions
|
@ -182,9 +182,16 @@ FocusListener
|
||||||
public Composite createTabFolderPage(CTabFolder tabFolder, CellEditorActionHandler editorActionHandler)
|
public Composite createTabFolderPage(CTabFolder tabFolder, CellEditorActionHandler editorActionHandler)
|
||||||
{
|
{
|
||||||
_tabFolderPage = new Group(tabFolder, SWT.NULL);
|
_tabFolderPage = new Group(tabFolder, SWT.NULL);
|
||||||
|
|
||||||
|
Font font = tabFolder.getFont();
|
||||||
|
_tabFolderPage.setFont(font);
|
||||||
|
// dummy title so that sizings work
|
||||||
|
// fix for 138311
|
||||||
|
String dummyTitle = ShellResources.RESID_SHELLS_COMMAND_SHELL_LABEL;
|
||||||
|
|
||||||
|
_tabFolderPage.setText(dummyTitle);
|
||||||
GridLayout gridLayout = new GridLayout();
|
GridLayout gridLayout = new GridLayout();
|
||||||
_tabFolderPage.setLayout(gridLayout);
|
_tabFolderPage.setLayout(gridLayout);
|
||||||
|
|
||||||
createControl(_tabFolderPage);
|
createControl(_tabFolderPage);
|
||||||
|
|
||||||
ISystemRegistry registry = RSEUIPlugin.getTheSystemRegistry();
|
ISystemRegistry registry = RSEUIPlugin.getTheSystemRegistry();
|
||||||
|
|
Loading…
Add table
Reference in a new issue