[Dune] [#577] Introduce method update() for GridViews

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

The following task has a new comment added:

FS#577 - Introduce method update() for GridViews
User who did this - Andreas Dedner (dedner)

----------
I am sure we do not have to agree on the improvement of the documentation :-)
For the default grid views update() would not do anything, is that right?
But for other GridViews (e.g. a filtered grid view) where the index set
has to be recomputed after grid change, this idea seems reasonable.
But then I think that we need a sequence count counter on the grid
(FS???) so that I can always call gv.update() and check there if the grid
has actually been changed...
----------

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=577#comment1287

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.