You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@pivot.apache.org by sm...@apache.org on 2009/09/03 12:20:26 UTC
svn commit: r810865 -
/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/
Author: smartini
Date: Thu Sep 3 10:20:24 2009
New Revision: 810865
URL: http://svn.apache.org/viewvc?rev=810865&view=rev
Log:
add some missing override, in some cases on methods of inner classes (not shown in eclipse warnings)
Modified:
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRadioButtonSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRollupSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollBarSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollPaneCornerSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSheetSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSliderSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSpinnerSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSplitPaneSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTabPaneSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTextInputSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTheme.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTooltipSkin.java
incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTreeViewSkin.java
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRadioButtonSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRadioButtonSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRadioButtonSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRadioButtonSkin.java Thu Sep 3 10:20:24 2009
@@ -69,6 +69,7 @@
disabledButtonSelectionColor = theme.getColor(7);
}
+ @Override
public int getPreferredWidth(int height) {
RadioButton radioButton = (RadioButton)getComponent();
Button.DataRenderer dataRenderer = radioButton.getDataRenderer();
@@ -82,6 +83,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
RadioButton radioButton = (RadioButton)getComponent();
Button.DataRenderer dataRenderer = radioButton.getDataRenderer();
@@ -98,6 +100,7 @@
return preferredHeight;
}
+ @Override
public Dimensions getPreferredSize() {
RadioButton radioButton = (RadioButton)getComponent();
Button.DataRenderer dataRenderer = radioButton.getDataRenderer();
@@ -114,6 +117,7 @@
return new Dimensions(preferredWidth, preferredHeight);
}
+ @Override
public void paint(Graphics2D graphics) {
RadioButton radioButton = (RadioButton)getComponent();
int width = getWidth();
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRollupSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRollupSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRollupSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraRollupSkin.java Thu Sep 3 10:20:24 2009
@@ -102,22 +102,27 @@
return false;
}
+ @Override
public int getPreferredWidth(int height) {
return 7;
}
+ @Override
public int getPreferredHeight(int width) {
return 7;
}
+ @Override
public Dimensions getPreferredSize() {
return new Dimensions(7, 7);
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
Rollup rollup = (Rollup)TerraRollupSkin.this.getComponent();
@@ -168,6 +173,7 @@
private ExpandTransition expandTransition = null;
private ComponentMouseButtonListener headingMouseButtonListener = new ComponentMouseButtonListener.Adapter() {
+ @Override
public boolean mouseClick(Component component, Mouse.Button button, int x, int y, int count) {
boolean consumed = false;
@@ -289,6 +295,7 @@
return preferredHeight;
}
+ @Override
public void layout() {
Rollup rollup = (Rollup)getComponent();
@@ -440,6 +447,7 @@
expandTransition = new ExpandTransition(expanded);
expandTransition.start(new TransitionListener() {
+ @Override
public void transitionCompleted(Transition transition) {
rollup.setExpanded(!expanded);
expandTransition = null;
@@ -471,10 +479,12 @@
}
}
+ @Override
public void expandedChanged(final Rollup rollup) {
invalidateComponent();
}
+ @Override
public void collapsibleChanged(Rollup rollup) {
if (rollup.isCollapsible()) {
rollupButton.setCursor(Cursor.HAND);
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollBarSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollBarSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollBarSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollBarSkin.java Thu Sep 3 10:20:24 2009
@@ -87,6 +87,7 @@
// Wait a timeout period, then begin rapidly scrolling
scheduledScrollCallback = ApplicationContext.scheduleRecurringCallback(new Runnable() {
+ @Override
public void run() {
scroll();
}
@@ -188,18 +189,22 @@
return false;
}
+ @Override
public int getPreferredWidth(int height) {
return 15;
}
+ @Override
public int getPreferredHeight(int width) {
return 15;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
// Apply scroll bar styles to the button
ScrollButton scrollButton = (ScrollButton)getComponent();
@@ -323,12 +328,14 @@
}
protected abstract class ScrollButtonImage extends Image {
+ @Override
public int getWidth() {
ScrollBar scrollBar = (ScrollBar)getComponent();
Orientation orientation = scrollBar.getOrientation();
return (orientation == Orientation.HORIZONTAL ? 5 : 7);
}
+ @Override
public int getHeight() {
ScrollBar scrollBar = (ScrollBar)getComponent();
Orientation orientation = scrollBar.getOrientation();
@@ -337,6 +344,7 @@
}
protected class ScrollUpImage extends ScrollButtonImage {
+ @Override
public void paint(Graphics2D graphics) {
ScrollBar scrollBar = (ScrollBar)getComponent();
@@ -366,6 +374,7 @@
}
protected class ScrollDownImage extends ScrollButtonImage {
+ @Override
public void paint(Graphics2D graphics) {
ScrollBar scrollBar = (ScrollBar)getComponent();
@@ -415,10 +424,12 @@
return false;
}
+ @Override
public int getPreferredWidth(int height) {
throw new UnsupportedOperationException();
}
+ @Override
public int getPreferredHeight(int width) {
throw new UnsupportedOperationException();
}
@@ -428,10 +439,12 @@
throw new UnsupportedOperationException();
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
ScrollBar scrollBar = (ScrollBar)TerraScrollBarSkin.this.getComponent();
Orientation orientation = scrollBar.getOrientation();
@@ -619,6 +632,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
ScrollBar scrollBar = (ScrollBar)getComponent();
@@ -633,6 +647,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
ScrollBar scrollBar = (ScrollBar)getComponent();
@@ -665,6 +680,7 @@
return new Dimensions(preferredWidth, preferredHeight);
}
+ @Override
public void layout() {
ScrollBar scrollBar = (ScrollBar)getComponent();
@@ -1189,25 +1205,30 @@
// ScrollBarListener methods
+ @Override
public void orientationChanged(ScrollBar scrollBar, Orientation previousOrientation) {
invalidateComponent();
}
+ @Override
public void scopeChanged(ScrollBar scrollBar, int previousStart, int previousEnd,
int previousExtent) {
invalidateComponent();
}
+ @Override
public void unitIncrementChanged(ScrollBar scrollBar, int previousUnitIncrement) {
// No-op
}
+ @Override
public void blockIncrementChanged(ScrollBar scrollBar, int previousBlockIncrement) {
// No-op
}
// ScrollBarValueListener methods
+ @Override
public void valueChanged(ScrollBar scrollBar, int previousValue) {
// Invalidating the component would yield the correct behavior but
// would be overkill. If all that has changed is the value, we can just
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollPaneCornerSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollPaneCornerSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollPaneCornerSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraScrollPaneCornerSkin.java Thu Sep 3 10:20:24 2009
@@ -37,25 +37,30 @@
return false;
}
+ @Override
public int getPreferredWidth(int height) {
// ScrollPane corners have no implicit preferred size.
return 0;
}
+ @Override
public int getPreferredHeight(int width) {
// ScrollPane corners have no implicit preferred size.
return 0;
}
+ @Override
public Dimensions getPreferredSize() {
// ScrollPane corners have no implicit preferred size.
return new Dimensions(0, 0);
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
int width = getWidth();
int height = getHeight();
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSheetSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSheetSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSheetSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSheetSkin.java Thu Sep 3 10:20:24 2009
@@ -71,16 +71,19 @@
private Quadratic easing = new Quadratic();
private ComponentListener ownerListener = new ComponentListener.Adapter() {
+ @Override
public void locationChanged(Component component, int previousX, int previousY) {
alignToOwner();
}
+ @Override
public void sizeChanged(Component component, int previousWidth, int previousHeight) {
alignToOwner();
}
};
private ContainerMouseListener displayMouseListener = new ContainerMouseListener.Adapter() {
+ @Override
public boolean mouseDown(Container container, Mouse.Button button, int x, int y) {
boolean consumed = false;
@@ -236,6 +239,7 @@
return preferredHeight;
}
+ @Override
public void layout() {
int width = getWidth();
int height = getHeight();
@@ -384,6 +388,7 @@
openTransition = new OpenTransition(false);
openTransition.start(new TransitionListener() {
+ @Override
public void transitionCompleted(Transition transition) {
openTransition = null;
}
@@ -397,6 +402,7 @@
display.getContainerMouseListeners().remove(displayMouseListener);
}
+ @Override
public Vote previewSheetClose(final Sheet sheet, final boolean result) {
// Start a close transition, return false, and close the window
// when the transition is complete
@@ -407,6 +413,7 @@
Window owner = sheet.getOwner();
if (!owner.isClosing()) {
TransitionListener transitionListener = new TransitionListener() {
+ @Override
public void transitionCompleted(Transition transition) {
sheet.close(result);
openTransition = null;
@@ -432,6 +439,7 @@
return vote;
}
+ @Override
public void sheetCloseVetoed(Sheet sheet, Vote reason) {
if (reason == Vote.DENY
&& openTransition != null) {
@@ -440,6 +448,7 @@
}
}
+ @Override
public void sheetClosed(Sheet sheet) {
Window owner = sheet.getOwner();
owner.getComponentListeners().remove(ownerListener);
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSliderSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSliderSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSliderSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSliderSkin.java Thu Sep 3 10:20:24 2009
@@ -60,18 +60,22 @@
return true;
}
+ @Override
public int getPreferredWidth(int height) {
return 0;
}
+ @Override
public int getPreferredHeight(int width) {
return 0;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
int width = getWidth();
int height = getHeight();
@@ -251,6 +255,7 @@
slider.add(thumb);
}
+ @Override
public void uninstall() {
Slider slider = (Slider)getComponent();
slider.remove(thumb);
@@ -258,18 +263,22 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
return DEFAULT_WIDTH;
}
+ @Override
public int getPreferredHeight(int width) {
return thumbHeight;
}
+ @Override
public Dimensions getPreferredSize() {
return new Dimensions(getPreferredWidth(-1), getPreferredHeight(-1));
}
+ @Override
public void layout() {
Slider slider = (Slider)getComponent();
@@ -287,6 +296,7 @@
(height - thumbHeight) / 2);
}
+ @Override
public void paint(Graphics2D graphics) {
super.paint(graphics);
@@ -444,6 +454,7 @@
return super.mouseClick(component, button, x, y, count);
}
+ @Override
public void rangeChanged(Slider slider, int previousStart, int previousEnd) {
invalidateComponent();
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSpinnerSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSpinnerSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSpinnerSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSpinnerSkin.java Thu Sep 3 10:20:24 2009
@@ -82,6 +82,7 @@
// Wait a timeout period, then begin rapidly spinning
scheduledSpinnerCallback = ApplicationContext.scheduleRecurringCallback(new Runnable() {
+ @Override
public void run() {
spin();
}
@@ -140,6 +141,7 @@
* SpinnerContent skin.
*/
protected class SpinnerContentSkin extends ComponentSkin {
+ @Override
public int getPreferredWidth(int height) {
int preferredWidth = 0;
@@ -160,6 +162,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
int preferredHeight = 0;
@@ -172,6 +175,7 @@
return preferredHeight;
}
+ @Override
public Dimensions getPreferredSize() {
Dimensions preferredSize;
@@ -188,10 +192,12 @@
return preferredSize;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
SpinnerContent spinnerContent = (SpinnerContent)getComponent();
Spinner spinner = (Spinner)TerraSpinnerSkin.this.getComponent();
@@ -310,18 +316,22 @@
private boolean highlighted = false;
private boolean pressed = false;
+ @Override
public int getPreferredWidth(int height) {
return BUTTON_IMAGE_SIZE + 6;
}
+ @Override
public int getPreferredHeight(int width) {
return BUTTON_IMAGE_SIZE + 2;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
// Apply spinner styles to the button
SpinButton spinButton = (SpinButton)getComponent();
@@ -419,14 +429,17 @@
* Abstract base class for button images.
*/
protected abstract class SpinButtonImage extends Image {
+ @Override
public int getWidth() {
return BUTTON_IMAGE_SIZE;
}
+ @Override
public int getHeight() {
return BUTTON_IMAGE_SIZE;
}
+ @Override
public void paint(Graphics2D graphics) {
graphics.setStroke(new BasicStroke(0));
graphics.setPaint(buttonColor);
@@ -434,6 +447,7 @@
}
protected class SpinUpImage extends SpinButtonImage {
+ @Override
public void paint(Graphics2D graphics) {
super.paint(graphics);
@@ -445,6 +459,7 @@
}
protected class SpinDownImage extends SpinButtonImage {
+ @Override
public void paint(Graphics2D graphics) {
super.paint(graphics);
@@ -576,6 +591,7 @@
return preferredHeight;
}
+ @Override
public void layout() {
int width = getWidth();
int height = getHeight();
@@ -761,31 +777,37 @@
// Spinner.Skin methods
+ @Override
public Bounds getContentBounds() {
return spinnerContent.getBounds();
}
// SpinnerListener methods
+ @Override
public void spinnerDataChanged(Spinner spinner, List<?> previousSpinnerData) {
invalidateContent();
}
+ @Override
public void itemRendererChanged(Spinner spinner,
Spinner.ItemRenderer previousItemRenderer) {
invalidateContent();
}
+ @Override
public void circularChanged(Spinner spinner) {
// No-op
}
+ @Override
public void selectedItemKeyChanged(Spinner spinner, String previousSelectedItemKey) {
// No-op
}
// SpinnerSelectionListener methods
+ @Override
public void selectedIndexChanged(Spinner spinner, int previousSelectedIndex) {
invalidateContent();
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSplitPaneSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSplitPaneSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSplitPaneSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraSplitPaneSkin.java Thu Sep 3 10:20:24 2009
@@ -58,6 +58,7 @@
return false;
}
+ @Override
public int getPreferredWidth(int height) {
// This will never get called since the size of the splitter is set
// automatically by SplitPaneSkin using the the size of the
@@ -65,6 +66,7 @@
return 0;
}
+ @Override
public int getPreferredHeight(int width) {
// This will never get called since the size of the splitter is set
// automatically by SplitPaneSkin using the the size of the
@@ -72,10 +74,12 @@
return 0;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
SplitPane splitPane = (SplitPane)TerraSplitPaneSkin.this.getComponent();
@@ -243,22 +247,26 @@
* Split pane splitter shadow component skin.
*/
protected class SplitterShadowSkin extends ComponentSkin {
+ @Override
public int getPreferredWidth(int height) {
// This will never get called since the splitter will always just
// set the size of its shadow to match its own size
return 0;
}
+ @Override
public int getPreferredHeight(int width) {
// This will never get called since the splitter will always just
// set the size of its shadow to match its own size
return 0;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
graphics.setPaint(new Color(0, 0, 0, 64));
graphics.fillRect(0, 0, getWidth(), getHeight());
@@ -316,6 +324,7 @@
return new Dimensions(0, 0);
}
+ @Override
public void layout() {
int width = getWidth();
int height = getHeight();
@@ -432,27 +441,33 @@
this.useShadow = useShadow;
}
+ @Override
public void topLeftChanged(SplitPane splitPane, Component previousTopLeft) {
invalidateComponent();
}
+ @Override
public void bottomRightChanged(SplitPane splitPane, Component previousBottomRight) {
invalidateComponent();
}
+ @Override
public void orientationChanged(SplitPane splitPane) {
updateSplitterCursor();
invalidateComponent();
}
+ @Override
public void primaryRegionChanged(SplitPane splitPane) {
updateSplitterCursor();
}
+ @Override
public void splitRatioChanged(SplitPane splitPane, float previousSplitLocation) {
invalidateComponent();
}
+ @Override
public void lockedChanged(SplitPane splitPane) {
updateSplitterCursor();
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTabPaneSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTabPaneSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTabPaneSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTabPaneSkin.java Thu Sep 3 10:20:24 2009
@@ -98,16 +98,19 @@
* because it will never be called to use them.
*/
public class TabButtonSkin extends ButtonSkin {
+ @Override
public int getPreferredWidth(int height) {
Dimensions preferredSize = getPreferredSize();
return preferredSize.width;
}
+ @Override
public int getPreferredHeight(int width) {
Dimensions preferredSize = getPreferredSize();
return preferredSize.height;
}
+ @Override
public Dimensions getPreferredSize() {
TabButton tabButton = (TabButton)getComponent();
@@ -144,6 +147,7 @@
return preferredSize;
}
+ @Override
public void paint(Graphics2D graphics) {
TabButton tabButton = (TabButton)getComponent();
@@ -389,6 +393,7 @@
buttonPanorama.setView(buttonBoxPane);
tabButtonGroup.getGroupListeners().add(new Button.GroupListener() {
+ @Override
public void selectionChanged(Group group, Button previousSelection) {
Button button = tabButtonGroup.getSelection();
int index = (button == null) ? -1 : buttonBoxPane.indexOf(button);
@@ -401,6 +406,7 @@
setButtonSpacing(2);
}
+ @Override
public void install(Component component) {
super.install(component);
@@ -433,6 +439,7 @@
selectedIndexChanged(tabPane, -1);
}
+ @Override
public void uninstall() {
TabPane tabPane = (TabPane)getComponent();
@@ -452,6 +459,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
int preferredWidth = 0;
@@ -518,6 +526,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
int preferredHeight = 0;
@@ -584,6 +593,7 @@
return preferredHeight;
}
+ @Override
public Dimensions getPreferredSize() {
TabPane tabPane = (TabPane)getComponent();
@@ -705,6 +715,7 @@
}
+ @Override
public void layout() {
TabPane tabPane = (TabPane)getComponent();
int width = getWidth();
@@ -1088,6 +1099,7 @@
}
// Tab pane events
+ @Override
public void tabInserted(TabPane tabPane, int index) {
if (selectionChangeTransition != null) {
selectionChangeTransition.end();
@@ -1113,6 +1125,7 @@
invalidateComponent();
}
+ @Override
public void tabsRemoved(TabPane tabPane, int index, Sequence<Component> removed) {
if (selectionChangeTransition != null) {
selectionChangeTransition.end();
@@ -1133,11 +1146,13 @@
invalidateComponent();
}
+ @Override
public void cornerChanged(TabPane tabPane, Component previousCorner) {
invalidateComponent();
}
// Tab pane selection events
+ @Override
public Vote previewSelectedIndexChange(TabPane tabPane, int selectedIndex) {
Vote vote;
@@ -1159,6 +1174,7 @@
if (selectionChangeTransition != null) {
selectionChangeTransition.start(new TransitionListener() {
+ @Override
public void transitionCompleted(Transition transition) {
TabPane tabPane = (TabPane)getComponent();
@@ -1190,6 +1206,7 @@
return vote;
}
+ @Override
public void selectedIndexChangeVetoed(TabPane tabPane, Vote reason) {
if (reason == Vote.DENY
&& selectionChangeTransition != null) {
@@ -1202,6 +1219,7 @@
}
}
+ @Override
public void selectedIndexChanged(TabPane tabPane, int previousSelectedIndex) {
int selectedIndex = tabPane.getSelectedIndex();
if (selectedIndex == -1) {
@@ -1229,14 +1247,17 @@
}
// Tab pane attribute events
+ @Override
public void labelChanged(TabPane tabPane, Component component, String previousLabel) {
invalidateComponent();
}
+ @Override
public void iconChanged(TabPane tabPane, Component component, Image previousIcon) {
invalidateComponent();
}
+ @Override
public void closeableChanged(TabPane tabPane, Component component) {
invalidateComponent();
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewHeaderSkin.java Thu Sep 3 10:20:24 2009
@@ -55,14 +55,17 @@
this.sortDirection = sortDirection;
}
+ @Override
public int getWidth() {
return 7;
}
+ @Override
public int getHeight() {
return 4;
}
+ @Override
public void paint(Graphics2D graphics) {
GeneralPath shape = new GeneralPath();
@@ -142,6 +145,7 @@
disabledBevelColor = disabledBackgroundColor;
}
+ @Override
public void install(Component component) {
super.install(component);
@@ -154,6 +158,7 @@
}
}
+ @Override
public void uninstall() {
TableViewHeader tableViewHeader = (TableViewHeader)getComponent();
tableViewHeader.getTableViewHeaderListeners().remove(this);
@@ -166,6 +171,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
int preferredWidth = 0;
@@ -195,6 +201,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
int preferredHeight = 0;
@@ -218,10 +225,12 @@
return preferredHeight;
}
+ @Override
public Dimensions getPreferredSize() {
return new Dimensions(getPreferredWidth(-1), getPreferredHeight(-1));
}
+ @Override
public void layout() {
TableViewHeader tableViewHeader = (TableViewHeader)getComponent();
TableView tableView = tableViewHeader.getTableView();
@@ -237,6 +246,7 @@
}
}
+ @Override
public void paint(Graphics2D graphics) {
int width = getWidth();
int height = getHeight();
@@ -337,6 +347,7 @@
}
}
+ @Override
public int getHeaderAt(int x) {
if (x < 0) {
throw new IllegalArgumentException("x is negative");
@@ -365,6 +376,7 @@
return index;
}
+ @Override
public Bounds getHeaderBounds(int index) {
Bounds headerBounds = null;
@@ -744,6 +756,7 @@
}
// Table view header events
+ @Override
public void tableViewChanged(TableViewHeader tableViewHeader,
TableView previousTableView) {
if (previousTableView != null) {
@@ -758,40 +771,49 @@
invalidateComponent();
}
+ @Override
public void dataRendererChanged(TableViewHeader tableViewHeader,
TableViewHeader.DataRenderer previousDataRenderer) {
invalidateComponent();
}
// Table view column events
+ @Override
public void columnInserted(TableView tableView, int index) {
invalidateComponent();
}
+ @Override
public void columnsRemoved(TableView tableView, int index, Sequence<TableView.Column> columns) {
invalidateComponent();
}
+ @Override
public void columnNameChanged(TableView.Column column, String previousName) {
// No-op
}
+ @Override
public void columnHeaderDataChanged(TableView.Column column, Object previousHeaderData) {
invalidateComponent();
}
+ @Override
public void columnWidthChanged(TableView.Column column, int previousWidth, boolean previousRelative) {
invalidateComponent();
}
+ @Override
public void columnSortDirectionChanged(TableView.Column column, SortDirection previousSortDirection) {
repaintComponent();
}
+ @Override
public void columnFilterChanged(TableView.Column column, Object previousFilter) {
// No-op
}
+ @Override
public void columnCellRendererChanged(TableView.Column column, TableView.CellRenderer previousCellRenderer) {
// No-op
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTableViewSkin.java Thu Sep 3 10:20:24 2009
@@ -97,6 +97,7 @@
includeTrailingVerticalGridLine = false;
}
+ @Override
public void install(Component component) {
super.install(component);
@@ -107,6 +108,7 @@
tableView.getTableViewSelectionListeners().add(this);
}
+ @Override
public void uninstall() {
TableView tableView = (TableView)getComponent();
tableView.getTableViewListeners().remove(this);
@@ -117,6 +119,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
int preferredWidth = 0;
@@ -143,6 +146,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
int preferredHeight = 0;
@@ -156,10 +160,12 @@
return preferredHeight;
}
+ @Override
public Dimensions getPreferredSize() {
return new Dimensions(getPreferredWidth(-1), getPreferredHeight(-1));
}
+ @Override
public void layout() {
// Recalculate column widths
TableView tableView = (TableView)getComponent();
@@ -225,6 +231,7 @@
}
}
+ @Override
@SuppressWarnings("unchecked")
public void paint(Graphics2D graphics) {
TableView tableView = (TableView)getComponent();
@@ -382,6 +389,7 @@
}
// Table view skin methods
+ @Override
@SuppressWarnings("unchecked")
public int getRowAt(int y) {
if (y < 0) {
@@ -401,6 +409,7 @@
return rowIndex;
}
+ @Override
public int getColumnAt(int x) {
if (x < 0) {
throw new IllegalArgumentException("x is negative");
@@ -426,6 +435,7 @@
return columnIndex;
}
+ @Override
public Bounds getRowBounds(int rowIndex) {
int rowHeight = getRowHeight();
return new Bounds(0, rowIndex * (rowHeight + 1), getWidth(), rowHeight);
@@ -445,6 +455,7 @@
return columnWidths.get(columnIndex);
}
+ @Override
public Bounds getColumnBounds(int columnIndex) {
int columnX = 0;
for (int i = 0; i < columnIndex; i++) {
@@ -454,6 +465,7 @@
return new Bounds(columnX, 0, getColumnWidth(columnIndex), getHeight());
}
+ @Override
@SuppressWarnings("unchecked")
public Bounds getCellBounds(int rowIndex, int columnIndex) {
TableView tableView = (TableView)getComponent();
@@ -1020,79 +1032,97 @@
}
// Table view events
+ @Override
public void tableDataChanged(TableView tableView, List<?> previousTableData) {
invalidateComponent();
}
+ @Override
public void rowEditorChanged(TableView tableView, TableView.RowEditor previousRowEditor) {
// No-op
}
+ @Override
public void selectModeChanged(TableView tableView, TableView.SelectMode previousSelectMode) {
repaintComponent();
}
+ @Override
public void disabledRowFilterChanged(TableView tableView, Filter<?> previousDisabledRowFilter) {
repaintComponent();
}
// Table view column events
+ @Override
public void columnInserted(TableView tableView, int index) {
invalidateComponent();
}
+ @Override
public void columnsRemoved(TableView tableView, int index, Sequence<TableView.Column> columns) {
invalidateComponent();
}
+ @Override
public void columnNameChanged(TableView.Column column, String previousName) {
invalidateComponent();
}
+ @Override
public void columnHeaderDataChanged(TableView.Column column, Object previousHeaderData) {
// No-op
}
+ @Override
public void columnWidthChanged(TableView.Column column, int previousWidth, boolean previousRelative) {
invalidateComponent();
}
+ @Override
public void columnSortDirectionChanged(TableView.Column column, SortDirection previousSortDirection) {
TableView tableView = column.getTableView();
int columnIndex = tableView.getColumns().indexOf(column);
repaintComponent(getColumnBounds(columnIndex));
}
+ @Override
public void columnFilterChanged(TableView.Column column, Object previousFilter) {
// No-op
}
+ @Override
public void columnCellRendererChanged(TableView.Column column, TableView.CellRenderer previousCellRenderer) {
invalidateComponent();
}
// Table view row events
+ @Override
public void rowInserted(TableView tableView, int index) {
invalidateComponent();
}
+ @Override
public void rowsRemoved(TableView tableView, int index, int count) {
invalidateComponent();
}
+ @Override
public void rowUpdated(TableView tableView, int index) {
repaintComponent(getRowBounds(index));
}
+ @Override
public void rowsCleared(TableView listView) {
invalidateComponent();
}
+ @Override
public void rowsSorted(TableView tableView) {
repaintComponent();
}
// Table view selection detail events
+ @Override
public void selectedRangeAdded(TableView tableView, int rangeStart, int rangeEnd) {
// Repaint the area containing the added selection
int rowHeight = getRowHeight();
@@ -1100,6 +1130,7 @@
getWidth(), (rangeEnd - rangeStart + 1) * (rowHeight + 1));
}
+ @Override
public void selectedRangeRemoved(TableView tableView, int rangeStart, int rangeEnd) {
// Repaint the area containing the removed selection
int rowHeight = getRowHeight();
@@ -1107,6 +1138,7 @@
getWidth(), (rangeEnd - rangeStart + 1) * (rowHeight + 1));
}
+ @Override
public void selectedRangesChanged(TableView tableView, Sequence<Span> previousSelectedRanges) {
// TODO Repaint only the area that changed (intersection of previous
// and new selection)
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTextInputSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTextInputSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTextInputSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTextInputSkin.java Thu Sep 3 10:20:24 2009
@@ -169,6 +169,7 @@
*/
private class BlinkCursorCallback implements Runnable {
+ @Override
public void run() {
caretOn = !caretOn;
@@ -192,6 +193,7 @@
private class ScrollSelectionCallback implements Runnable {
private int x = 0;
+ @Override
public void run() {
TextInput textInput = (TextInput)getComponent();
TextNode textNode = textInput.getTextNode();
@@ -308,6 +310,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
TextInput textInput = (TextInput)getComponent();
int textSize = textInput.getTextSize();
@@ -322,6 +325,7 @@
return textSize * averageCharWidth + (padding.left + padding.right) + 2;
}
+ @Override
public int getPreferredHeight(int width) {
// TODO Recalculate only when font changes
Rectangle2D maxCharBounds = font.getMaxCharBounds(fontRenderContext);
@@ -330,14 +334,17 @@
return maxCharHeight + (padding.top + padding.bottom) + 2;
}
+ @Override
public Dimensions getPreferredSize() {
return new Dimensions(getPreferredWidth(-1), getPreferredHeight(-1));
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
TextInput textInput = (TextInput)getComponent();
@@ -1264,43 +1271,53 @@
}
// Text input events
+ @Override
public void textNodeChanged(TextInput textInput, TextNode previousTextNode) {
updateSelection(0);
}
+ @Override
public void textSizeChanged(TextInput textInput, int previousTextSize) {
invalidateComponent();
}
+ @Override
public void maximumLengthChanged(TextInput textInput, int previousMaximumLength) {
// No-op
}
+ @Override
public void passwordChanged(TextInput textInput) {
repaintComponent();
}
+ @Override
public void promptChanged(TextInput textInput, String previousPrompt) {
repaintComponent();
}
+ @Override
public void textKeyChanged(TextInput textInput, String previousTextKey) {
// No-op
}
+ @Override
public void textValidChanged(TextInput textInput) {
repaintComponent();
}
+ @Override
public void textValidatorChanged(TextInput textInput, Validator previousValidator) {
// No-op
}
// Text input character events
+ @Override
public void charactersInserted(TextInput textInput, int index, int count) {
updateSelection(0);
}
+ @Override
public void charactersRemoved(TextInput textInput, int index, int count) {
String text = getText();
Rectangle2D textBounds = font.getStringBounds(text, fontRenderContext);
@@ -1318,6 +1335,7 @@
}
// Text input selection events
+ @Override
public void selectionChanged(TextInput textInput, int previousSelectionStart,
int previousSelectionLength) {
int selectionStart = textInput.getSelectionStart();
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTheme.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTheme.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTheme.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTheme.java Thu Sep 3 10:20:24 2009
@@ -246,15 +246,18 @@
}
}
+ @Override
protected void install() {
}
+ @Override
protected void uninstall() {
}
/**
* Gets the theme's font.
*/
+ @Override
public Font getFont() {
return font;
}
@@ -274,6 +277,7 @@
* Gets the image that this theme uses to represent messages of the
* specified type.
*/
+ @Override
public Image getMessageIcon(MessageType messageType) {
String messageIconName;
@@ -332,6 +336,7 @@
* Gets the "small" image that this theme uses to represent messages of the
* specified type.
*/
+ @Override
public Image getSmallMessageIcon(MessageType messageType) {
String smallMessageIconName;
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTooltipSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTooltipSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTooltipSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTooltipSkin.java Thu Sep 3 10:20:24 2009
@@ -48,24 +48,28 @@
private boolean fade = true;
private ContainerMouseListener displayMouseListener = new ContainerMouseListener() {
+ @Override
public boolean mouseMove(Container container, int x, int y) {
Tooltip tooltip = (Tooltip)getComponent();
tooltip.close();
return false;
}
+ @Override
public boolean mouseDown(Container container, Mouse.Button button, int x, int y) {
Tooltip tooltip = (Tooltip)getComponent();
tooltip.close();
return false;
}
+ @Override
public boolean mouseUp(Container container, Mouse.Button button, int x, int y) {
Tooltip tooltip = (Tooltip)getComponent();
tooltip.close();
return false;
}
+ @Override
public boolean mouseWheel(Container container, Mouse.ScrollType scrollType,
int scrollAmount, int wheelRotation, int x, int y) {
fade = false;
@@ -157,6 +161,7 @@
dropShadowDecorator);
closeTransition.start(new TransitionListener() {
+ @Override
public void transitionCompleted(Transition transition) {
window.close();
}
@@ -192,6 +197,7 @@
closeTransition = null;
}
+ @Override
public void textChanged(Tooltip tooltip, String previousText) {
label.setText(tooltip.getText());
}
Modified: incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTreeViewSkin.java
URL: http://svn.apache.org/viewvc/incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTreeViewSkin.java?rev=810865&r1=810864&r2=810865&view=diff
==============================================================================
--- incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTreeViewSkin.java (original)
+++ incubator/pivot/trunk/wtk/src/org/apache/pivot/wtk/skin/terra/TerraTreeViewSkin.java Thu Sep 3 10:20:24 2009
@@ -338,6 +338,7 @@
showGridLines = false;
}
+ @Override
public void install(Component component) {
super.install(component);
@@ -351,6 +352,7 @@
treeDataChanged(treeView, null);
}
+ @Override
public void uninstall() {
TreeView treeView = (TreeView)getComponent();
treeView.getTreeViewListeners().remove(this);
@@ -362,6 +364,7 @@
super.uninstall();
}
+ @Override
public int getPreferredWidth(int height) {
TreeView treeView = (TreeView)getComponent();
TreeView.NodeRenderer nodeRenderer = treeView.getNodeRenderer();
@@ -391,6 +394,7 @@
return preferredWidth;
}
+ @Override
public int getPreferredHeight(int width) {
int nodeHeight = getNodeHeight();
int visibleNodeCount = visibleNodes.getLength();
@@ -404,10 +408,12 @@
return preferredHeight;
}
+ @Override
public void layout() {
// No-op
}
+ @Override
public void paint(Graphics2D graphics) {
TreeView treeView = (TreeView)getComponent();
TreeView.NodeRenderer nodeRenderer = treeView.getNodeRenderer();
@@ -1309,6 +1315,7 @@
*/
private void clearFields(final byte mask) {
propagateNodeInfoCallback(new NodeInfoCallback() {
+ @Override
public void run(NodeInfo nodeInfo) {
nodeInfo.clearField(mask);
}
@@ -1671,6 +1678,7 @@
// TreeView.Skin methods
+ @Override
public Path getNodeAt(int y) {
Path path = null;
@@ -1683,11 +1691,13 @@
return path;
}
+ @Override
public Bounds getNodeBounds(Path path) {
NodeInfo nodeInfo = getNodeInfoAt(path);
return getNodeBounds(nodeInfo);
}
+ @Override
public int getNodeIndent(int depth) {
TreeView treeView = (TreeView)getComponent();
@@ -1706,6 +1716,7 @@
// TreeViewListener methods
+ @Override
@SuppressWarnings("unchecked")
public void treeDataChanged(TreeView treeView, List<?> previousTreeData) {
List<Object> treeData = (List<Object>)treeView.getTreeData();
@@ -1722,14 +1733,17 @@
invalidateComponent();
}
+ @Override
public void nodeRendererChanged(TreeView treeView, TreeView.NodeRenderer previousNodeRenderer) {
invalidateComponent();
}
+ @Override
public void nodeEditorChanged(TreeView treeView, TreeView.NodeEditor previousNodeEditor) {
// No-op
}
+ @Override
public void selectModeChanged(TreeView treeView,
TreeView.SelectMode previousSelectMode) {
// The selection has implicitly been cleared
@@ -1738,6 +1752,7 @@
repaintComponent();
}
+ @Override
public void checkmarksEnabledChanged(TreeView treeView) {
// The check state of all nodes has implicitly been cleared
clearFields(NodeInfo.CHECK_STATE_MASK);
@@ -1745,6 +1760,7 @@
invalidateComponent();
}
+ @Override
public void showMixedCheckmarkStateChanged(TreeView treeView) {
if (treeView.getCheckmarksEnabled()) {
// The check state of all *branch* nodes may have changed, so we
@@ -1778,11 +1794,13 @@
}
}
+ @Override
@SuppressWarnings("unchecked")
public void disabledNodeFilterChanged(TreeView treeView, Filter<?> previousDisabledNodeFilter) {
final Filter<Object> disabledNodeFilter = (Filter<Object>)treeView.getDisabledNodeFilter();
propagateNodeInfoCallback(new NodeInfoCallback() {
+ @Override
public void run(NodeInfo nodeInfo) {
nodeInfo.setDisabled(disabledNodeFilter != null
&& disabledNodeFilter.include(nodeInfo.data));
@@ -1794,6 +1812,7 @@
// TreeViewBranchListener methods
+ @Override
public void branchExpanded(TreeView treeView, Path path) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1803,6 +1822,7 @@
repaintNode(branchInfo);
}
+ @Override
public void branchCollapsed(TreeView treeView, Path path) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1814,6 +1834,7 @@
// TreeViewNodeListener methods
+ @Override
@SuppressWarnings("unchecked")
public void nodeInserted(TreeView treeView, Path path, int index) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1829,6 +1850,7 @@
addVisibleNode(branchInfo, index);
}
+ @Override
public void nodesRemoved(TreeView treeView, Path path, int index,
int count) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1842,6 +1864,7 @@
}
}
+ @Override
@SuppressWarnings("unchecked")
public void nodeUpdated(TreeView treeView, Path path, int index) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1876,6 +1899,7 @@
}
}
+ @Override
public void nodesCleared(TreeView treeView, Path path) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1888,6 +1912,7 @@
}
}
+ @Override
public void nodesSorted(TreeView treeView, Path path) {
BranchInfo branchInfo = (BranchInfo)getNodeInfoAt(path);
@@ -1904,6 +1929,7 @@
// TreeViewNodeStateListener methods
+ @Override
public void nodeCheckStateChanged(TreeView treeView, Path path,
TreeView.NodeCheckState previousCheckState) {
NodeInfo nodeInfo = getNodeInfoAt(path);
@@ -1915,6 +1941,7 @@
// TreeViewSelectionListener methods
+ @Override
public void selectedPathAdded(TreeView treeView, Path path) {
NodeInfo nodeInfo = getNodeInfoAt(path);
@@ -1922,6 +1949,7 @@
repaintNode(nodeInfo);
}
+ @Override
public void selectedPathRemoved(TreeView treeView, Path path) {
NodeInfo nodeInfo = getNodeInfoAt(path);
@@ -1929,6 +1957,7 @@
repaintNode(nodeInfo);
}
+ @Override
public void selectedPathsChanged(TreeView treeView,
Sequence<Path> previousSelectedPaths) {