Push support requires calling markAsDirty()

[GoogleCodeExporter]

I was able to make a Sparkline work with server push (from Vaadin 7.1), but I 
had to call markAsDirty() after setting the value.

So this didn't work:

    ui.access( new Runnable() {
        @Override
        public void run() {
            sparklines.setValue( new_data );
        }
    } );

This did:

    ui.access( new Runnable() {
        @Override
        public void run() {
            sparklines.setValue( new_data );
            sparklines.markAsDirty();
        }
    } );

Versions:
   Vaadin: 7.1.11
   Sparklines: 7.0.2

Original issue reported on code.google.com by robed...@gmail.com on 14 Feb 2014 at 7:18