wxGUI: don't save default window layout when window is minimized, checking size is not enough on Windows 8 (merge trunk, https://trac.osgeo.org/grass/changeset/62050)

git-svn-id: https://svn.osgeo.org/grass/grass/branches/releasebranch_7_0@62051 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/gui_core/preferences.py

@@ -1353,13 +1353,11 @@ class PreferencesDialog(PreferencesBaseDialog):
                 pos  = mapdisp.GetPosition()
                 size = mapdisp.GetSize()
 
-                # window size must be larger than zero
-                if size[0] > 0 and size[1] > 0:
+                # window size must be larger than zero, not minimized
+                if not mapdisp.IsIconized() and (size[0] > 0 and size[1] > 0):
                     dim += ',%d,%d,%d,%d' % (pos[0], pos[1], size[0], size[1])
 
             self.settings.Set(group = 'general', key = 'defWindowPos', subkey = 'dim', value = dim)
-        else:
-            self.settings.Set(group = 'general', key = 'defWindowPos', subkey = 'dim', value = '')
 
         return True