ExampleSet size?

daniel_thibault

My data reader plugin mostly works now, but there is one little snag I'd appreciate help in fixing.  The nature of the data is such that, upon being first accessed, only a rough upper bound can be put on the total number of examples.  This is reported by my AbstractExampleTable implementation through its size() method, and displayed in the GUI as the number of examples.  Meanwhile, as the data are scrolled through, the estimate improves and eventually converges to its true value.  The size() method is being called repeatedly and reports the correct values, but the GUI never updates its "number of examples" label in the Results Perspective: Data View.

Is it possible to force this refresh? If so, how?