[GRASS-dev] d.* commands

[Cedric Shock]

Michael,

>
> > Is there a good way to let GIS manager know that the screen has a new
> > drawing element
>
> This has been tricky, but basically checks to see if any of the options
> (including file name) of a layer has changed. If anything has changed the
> file is re-rendered (i.e., a new *.ppm file is created); if not, the
> existing file on disk is used by g.pnmcomp. This is why if you change the
> color table using r.colors or change a color in an rgb file for a vector
> using an external dabase manager, the GIS Manager has no way of knowing. I
> added the re-render button to deal with this.

Regarding color table, etc: A regular redraw can do this if layers check the 
mtime of all database elements of refered to database things as another 
reason to redraw. This should be implemented once for all layers, with each 
layer indicating which database elements it depends upon.

--Cedric