71     def __init__(self, parent, ID, label, initval):
    72         wx.Panel.__init__(self, parent, ID)
    76         box = wx.StaticBox(self, -1, label)
    77         sizer = wx.StaticBoxSizer(box, wx.VERTICAL)
    79         self.radio_auto = wx.RadioButton(self, -1, 
    80             label=
"Auto", style=wx.RB_GROUP)
    81         self.radio_manual = wx.RadioButton(self, -1,
    83         self.manual_text = wx.TextCtrl(self, -1, 
    86             style=wx.TE_PROCESS_ENTER)
    88         self.Bind(wx.EVT_UPDATE_UI, self.on_update_manual_text, self.manual_text)
    89         self.Bind(wx.EVT_TEXT_ENTER, self.on_text_enter, self.manual_text)
    91         manual_box = wx.BoxSizer(wx.HORIZONTAL)
    92         manual_box.Add(self.radio_manual, flag=wx.ALIGN_CENTER_VERTICAL)
    93         manual_box.Add(self.manual_text, flag=wx.ALIGN_CENTER_VERTICAL)
    95         sizer.Add(self.radio_auto, 0, wx.ALL, 10)
    96         sizer.Add(manual_box, 0, wx.ALL, 10)
 const string & str
Definition: json11.cpp:360