wxGTK: widget border changes in HEAD

[Robin Dunn]

Hi,

I haven't looked real hard yet at what change might have caused this, =

but I just noticed that the border of the wxSearchCtrl has changed, it =

now has no border, but previously it looked the same as the default =

wxTextCtrl border.

-- =

Robin Dunn
Software Craftsman
http://wxPython.org  Java give you jitters?  Relax with wxPython!

-------------- next part --------------
A non-text attachment was scrubbed...
Name: searchctrl-2.8.png
Type: image/png
Size: 1615 bytes
Desc: not available
Url : http://lists.wxwidgets.org/pipermail/wx-dev/attachments/20070402/a71d=
d8b6/searchctrl-2.8.png
-------------- next part --------------
A non-text attachment was scrubbed...
Name: searchctrl-2.9.png
Type: image/png
Size: 1491 bytes
Desc: not available
Url : http://lists.wxwidgets.org/pipermail/wx-dev/attachments/20070402/a71d=
d8b6/searchctrl-2.9.png