31     LISTBOX_BORDER_HEIGHT = 2

    31     LISTBOX_BORDER_HEIGHT = 2

    32     LISTBOX_INTERVAL_HEIGHT = 0

    32     LISTBOX_INTERVAL_HEIGHT = 0

    33 else:

    33 else:

    34     LISTBOX_BORDER_HEIGHT = 4

    34     LISTBOX_BORDER_HEIGHT = 4

    35     LISTBOX_INTERVAL_HEIGHT = 6

    35     LISTBOX_INTERVAL_HEIGHT = 6

    36 

    37 

    37 class PopupWithListbox(wx.PopupWindow):

    38 class PopupWithListbox(wx.PopupWindow):

    38 

    39 

    39     def __init__(self, parent, choices=[]):

    40     def __init__(self, parent, choices=[]):

    40         wx.PopupWindow.__init__(self, parent, wx.BORDER_SIMPLE)

    41         wx.PopupWindow.__init__(self, parent, wx.BORDER_SIMPLE)

   102 

   103 

   103     def OnMotion(self, event):

   104     def OnMotion(self, event):

   104         self.ListBox.SetSelection(

   105         self.ListBox.SetSelection(

   105             self.ListBox.HitTest(wx.Point(event.GetX(), event.GetY())))

   106             self.ListBox.HitTest(wx.Point(event.GetX(), event.GetY())))

   106         event.Skip()

   107         event.Skip()

   107 

   109 

   108 class TextCtrlAutoComplete(wx.TextCtrl):

   110 class TextCtrlAutoComplete(wx.TextCtrl):

   109 

   111 

   110     def __init__ (self, parent, choices=None, dropDownClick=True,

   112     def __init__ (self, parent, choices=None, dropDownClick=True,

   111                   element_path=None, **therest):

   113                   element_path=None, **therest):