2014-11-21 18:55:08 +01:00
|
|
|
package org.gcube.portlets.user.td.monitorwidget.client.custom;
|
|
|
|
|
|
|
|
import com.sencha.gxt.widget.core.client.treegrid.TreeGridView;
|
|
|
|
|
|
|
|
/**
|
|
|
|
*
|
2017-05-30 12:13:29 +02:00
|
|
|
* @author Giancarlo Panichi
|
|
|
|
*
|
2014-11-21 18:55:08 +01:00
|
|
|
*
|
2017-05-30 12:13:29 +02:00
|
|
|
* @param <M> Type
|
2014-11-21 18:55:08 +01:00
|
|
|
*/
|
|
|
|
public class ExtendedTreeGridView<M> extends TreeGridView<M> {
|
2017-05-30 12:13:29 +02:00
|
|
|
|
2014-11-21 18:55:08 +01:00
|
|
|
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public void refresh(boolean headerToo) {
|
|
|
|
preventScrollToTopOnRefresh = true;
|
|
|
|
super.refresh(headerToo);
|
|
|
|
}
|
|
|
|
|
2014-11-24 11:16:12 +01:00
|
|
|
public boolean getPreventScrollToTopOnRefresh(){
|
2014-11-21 18:55:08 +01:00
|
|
|
return preventScrollToTopOnRefresh;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2014-11-24 11:16:12 +01:00
|
|
|
public void setPreventScrollToTopOnRefresh(boolean prevent ){
|
2014-11-21 18:55:08 +01:00
|
|
|
preventScrollToTopOnRefresh=prevent;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}
|