diff options
Diffstat (limited to 'ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java')
-rw-r--r-- | ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java index c7e0d72ff9..a518df291f 100644 --- a/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java +++ b/ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/editor/TableSection.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2008 IBM Corporation and others. + * Copyright (c) 2000, 2015 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -33,25 +33,30 @@ public abstract class TableSection extends StructuredViewerSection { super(buttonLabels); } + @Override public void entryModified(Object entry, String value) { TableSection.this.entryModified(entry, value); } + @Override public void selectionChanged(IStructuredSelection selection) { getManagedForm().fireSelectionChanged(TableSection.this, selection); TableSection.this.selectionChanged(selection); } + @Override public void handleDoubleClick(IStructuredSelection selection) { TableSection.this.handleDoubleClick(selection); } + @Override public void buttonSelected(Button button, int index) { TableSection.this.buttonSelected(index); if (fHandleDefaultButton) button.getShell().setDefaultButton(null); } + @Override protected void createButtons(Composite parent, FormToolkit toolkit) { super.createButtons(parent, toolkit); enableButtons(); @@ -63,6 +68,7 @@ public abstract class TableSection extends StructuredViewerSection { fCount.setForeground(toolkit.getColors().getColor(IFormColors.TITLE)); fCount.setLayoutData(new GridData(GridData.FILL_HORIZONTAL)); getTablePart().getTableViewer().getTable().addPaintListener(new PaintListener() { + @Override public void paintControl(PaintEvent e) { updateLabel(); } @@ -94,6 +100,7 @@ public abstract class TableSection extends StructuredViewerSection { super(formPage, parent, style, titleBar, buttonLabels); } + @Override protected StructuredViewerPart createViewerPart(String[] buttonLabels) { return new PartAdapter(buttonLabels); } |