33 def _init_ctrls(self): |
33 def _init_ctrls(self): |
34 self.IpText = wx.TextCtrl(parent=self, id=ID_IPTEXT, size = wx.Size(200, -1)) |
34 self.IpText = wx.TextCtrl(parent=self, id=ID_IPTEXT, size = wx.Size(200, -1)) |
35 self.PortText = wx.TextCtrl(parent=self, id=ID_PORTTEXT, size = wx.Size(200, -1)) |
35 self.PortText = wx.TextCtrl(parent=self, id=ID_PORTTEXT, size = wx.Size(200, -1)) |
36 |
36 |
37 def _init_sizers(self): |
37 def _init_sizers(self): |
38 self.mainSizer = wx.BoxSizer(wx.VERTICAL) |
38 self.mainSizer = wx.FlexGridSizer(cols=2, hgap=10, rows=5, vgap=10) |
39 self.uriSizer = wx.BoxSizer(wx.HORIZONTAL) |
39 self.mainSizer.AddWindow(wx.StaticText(self, label=_("URI host:")), |
40 self.portSizer = wx.BoxSizer(wx.HORIZONTAL) |
40 flag=wx.ALIGN_CENTER_VERTICAL) |
|
41 self.mainSizer.AddWindow(self.IpText, flag=wx.GROW) |
41 |
42 |
42 self.uriSizer.Add(wx.StaticText(self, wx.ID_ANY, _("URI host:"), size = wx.Size(70, -1)), proportion=0, flag=wx.ALIGN_CENTER_VERTICAL) |
43 self.mainSizer.AddWindow(wx.StaticText(self, label=_("URI port:")), |
43 self.uriSizer.AddSpacer((0,0)) |
44 flag=wx.ALIGN_CENTER_VERTICAL) |
44 self.uriSizer.Add(self.IpText, proportion=1, flag=wx.ALIGN_RIGHT) |
45 self.mainSizer.AddWindow(self.PortText, flag=wx.GROW) |
45 self.mainSizer.Add(self.uriSizer, border=2, flag=wx.ALL) |
|
46 |
|
47 self.portSizer.Add(wx.StaticText(self, wx.ID_ANY, _("URI port:"), size = wx.Size(70, -1)), proportion=0, flag=wx.ALIGN_CENTER_VERTICAL) |
|
48 self.portSizer.AddSpacer((0,0)) |
|
49 self.portSizer.Add(self.PortText, proportion=1, flag=wx.ALIGN_RIGHT) |
|
50 self.mainSizer.Add(self.portSizer, border=2, flag=wx.ALL) |
|
51 |
|
52 self.SetSizer(self.mainSizer) |
46 self.SetSizer(self.mainSizer) |
53 |
47 |
54 def SetURI(self, uri): |
48 def SetURI(self, uri): |
55 self.uri = uri |
49 self.uri = uri |
56 uri_list = uri.strip().split(":") |
50 uri_list = uri.strip().split(":") |