2013-02-06 15:40:17 +01:00
|
|
|
package org.gcube.portlets.user.workspace.client.view.windows;
|
|
|
|
|
|
|
|
import com.extjs.gxt.ui.client.widget.Info;
|
|
|
|
import com.extjs.gxt.ui.client.widget.InfoConfig;
|
|
|
|
|
|
|
|
/**
|
2019-02-22 14:40:20 +01:00
|
|
|
* @author Francesco Mangiacrapa francesco.mangiacrapa{@literal @}isti.cnr.it
|
2013-02-06 15:40:17 +01:00
|
|
|
*
|
|
|
|
*/
|
2019-02-22 12:37:09 +01:00
|
|
|
public class InfoDisplay extends Info {
|
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
/**
|
|
|
|
*
|
|
|
|
* @param title
|
2019-02-22 12:37:09 +01:00
|
|
|
* title
|
2013-02-06 15:40:17 +01:00
|
|
|
* @param text
|
2019-02-22 12:37:09 +01:00
|
|
|
* text
|
|
|
|
* @param milliseconds
|
|
|
|
* milliseconds
|
|
|
|
*/
|
|
|
|
public InfoDisplay(String title, String text, int milliseconds) {
|
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
InfoConfig config = new InfoConfig(title, text);
|
2019-02-22 12:37:09 +01:00
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
config.display = milliseconds;
|
2019-02-22 12:37:09 +01:00
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
Info.display(config);
|
2019-02-22 12:37:09 +01:00
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
}
|
2019-02-22 12:37:09 +01:00
|
|
|
|
|
|
|
public InfoDisplay(String title, String text) {
|
2013-02-06 15:40:17 +01:00
|
|
|
|
|
|
|
Info.display(title, text);
|
2019-02-22 12:37:09 +01:00
|
|
|
|
2013-02-06 15:40:17 +01:00
|
|
|
}
|
|
|
|
}
|