Take wxBORDER_THEME, and the default border style, into account
[wxWidgets.git] / src / univ / themes /
drwxr-xr-x   ..
-rw-r--r-- 90170 gtk.cpp
-rw-r--r-- 16710 metal.cpp
-rw-r--r-- 31868 mono.cpp
-rw-r--r-- 111377 win32.cpp