[GRASS-dev] Re: [GRASS GIS] #524: wxGUI: map display not refreshed at times in vdigit

[GRASS GIS]

#524: wxGUI: map display not refreshed at times in vdigit
-----------------------+----------------------------------------------------
  Reporter:  msieczka  |       Owner:  martinl         
      Type:  defect    |      Status:  closed          
  Priority:  major     |   Milestone:  6.4.0           
 Component:  wxGUI     |     Version:  svn-develbranch6
Resolution:  fixed     |    Keywords:                  
  Platform:  All       |         Cpu:  All             
-----------------------+----------------------------------------------------
Changes (by msieczka):

  * status:  assigned => closed
  * resolution:  => fixed

Comment:

 Looks OK. Thanks.

-- 
Ticket URL: <http://trac.osgeo.org/grass/ticket/524#comment:2>
GRASS GIS <http://grass.osgeo.org>