首页
学习
活动
专区
圈层
工具
发布
社区首页 >问答首页 >Vaadin 7刷新插件不起作用

Vaadin 7刷新插件不起作用
EN

Stack Overflow用户
提问于 2013-02-28 20:01:37
回答 2查看 2.9K关注 0票数 1

我正在从Vaadin 6迁移到Vaadin 7。

在更改了Vaadin6的刷新程序以刷新Vaadin7的刷新程序后,似乎应该将addComponent(刷新程序)更改为addExtension(刷新程序)。但不幸的是,当我这样做时,我得到的是一个空页面,而不是我的组件。有人能帮上忙吗?我不完全明白我该做什么。

EN

回答 2

Stack Overflow用户

发布于 2013-03-01 22:38:33

下面是我使用的示例代码:

代码语言:javascript
复制
public class RefresherDemo extends UI  {
    Refresher refresher;
    Label timeLabel;    

    protected void init(VaadinRequest request) {
        final VerticalLayout layout = new VerticalLayout();
        layout.setMargin(true);
        setContent(layout);

        timeLabel = new Label(getTime());

        refresher = new Refresher();
        refresher.setRefreshInterval(500);
        refresher.addListener(new RefreshListener(){
            @Override
            public void refresh(Refresher source) {
                timeLabel.setValue(getTime());
            }
        });
        addExtension(refresher);        

        layout.addComponent(timeLabel);

    }

    public String getTime(){
        DateFormat dateFormat = new SimpleDateFormat("HH:mm:ss");
        Date date = new Date();
        String d = dateFormat.format(date);
        return d;
    }

}
票数 2
EN

Stack Overflow用户

发布于 2013-07-11 19:38:20

我也遇到了同样的问题,我找到了解决方法。我不知道自定义部件集。有必要添加对web.xml的引用,如下所示:

代码语言:javascript
复制
<init-param>
    <param-name>widgetset</param-name>
    <param-value>com.mypackage.AppWidgetSet</param-value>
</init-param>

希望能帮助别人

票数 1
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/15135051

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档