01: /*
02: * GWT-Ext Widget Library
03: * Copyright(c) 2007-2008, GWT-Ext.
04: * licensing@gwt-ext.com
05: *
06: * http://www.gwt-ext.com/license
07: */
08: package com.gwtext.client.widgets.event;
09:
10: import com.gwtext.client.widgets.BoxComponent;
11:
12: public interface BoxComponentListener extends ComponentListener {
13:
14: /**
15: * Fires after the component is moved.
16: *
17: * @param component this
18: * @param x the new x position
19: * @param y the new y position
20: */
21: void onMove(BoxComponent component, int x, int y);
22:
23: /**
24: * Fires after the component is resized. Note that percentage based widths and auto widths are passed as -1.
25: *
26: * @param component this
27: * @param adjWidth the box-adjusted width that was set
28: * @param adjHeight the box-adjusted height that was set
29: * @param rawWidth the width that was originally specified
30: * @param rawHeight the height that was originally specified
31: */
32: void onResize(BoxComponent component, int adjWidth, int adjHeight,
33: int rawWidth, int rawHeight);
34: }
|