Browse Source

wxGUI: fix extension manager start-up

git-svn-id: https://svn.osgeo.org/grass/grass/trunk@42239 15284696-431f-4ddb-bdfa-cd5b030d7da7
Martin Landa 15 years ago
parent
commit
ebef2c0136
1 changed files with 3 additions and 4 deletions
  1. 3 4
      gui/wxpython/gui_modules/ghelp.py

+ 3 - 4
gui/wxpython/gui_modules/ghelp.py

@@ -774,7 +774,7 @@ class InstallExtensionWindow(wx.Frame):
                                     label = _("Fetch full info including description and keywords (takes time)"))
         self.fullDesc.SetValue(False)
         
-        self.search = SearchModuleWindow(parent = self.panel, showLabel = False)
+        self.search = SearchModuleWindow(parent = self.panel)
         self.search.SetSelection(2) 
         
         self.tree   = ExtensionTree(parent = self.panel, log = parent.GetLogWindow())
@@ -822,9 +822,8 @@ class InstallExtensionWindow(wx.Frame):
         
         btnSizer = wx.BoxSizer(wx.HORIZONTAL)
         btnSizer.Add(item = self.btnClose, proportion = 0,
-                     flag = wx.LEFT | wx.RIGHT, border = 5)
-        btnSizer.Add(item = self.btnInstall, proportion = 0,
-                     flag = wx.LEFT | wx.RIGHT, border = 5)
+                     flag = wx.RIGHT, border = 5)
+        btnSizer.Add(item = self.btnInstall, proportion = 0)
         
         sizer.Add(item = repoSizer, proportion = 0,
                   flag = wx.ALL | wx.EXPAND, border = 3)