java - Vaadin 7 Refresher アドオンが機能しない

Question

Vaadin 6 から Vaadin 7 に移行しています。Vaadin 6
の Refresher を Vaadin 7 の Refresher に変更した後、addComponent(refresher) を addExtension(refresher) に変更するだけでよいようです。しかし残念なことに、私がそれを行ったとき、コンポーネントの代わりに空のページを受け取りました。誰でも助けることができますか？何をすればいいのかよくわかりません..

Answer 1

これが私が使用したコードの例です：

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;
    }

}