use 6px as the default wxSizer border in wxGTK to be a little bit closer to GNOME HIG

[wxWidgets.git] / include / wx / aui / dockart.h

diff --git a/include/wx/aui/dockart.h b/include/wx/aui/dockart.h
index 8d572017c072f99b35cd45a56d327376c3d85152..dbe21f332b41128c7eff6b14b15ed930181905bf 100644 (file)
--- a/include/wx/aui/dockart.h
+++ b/include/wx/aui/dockart.h
@@ -152,6 +152,7 @@ protected:
     wxPen m_gripper_pen1;
     wxPen m_gripper_pen2;
     wxPen m_gripper_pen3;
+    wxColour m_base_colour;
     wxColour m_active_caption_colour;
     wxColour m_active_caption_gradient_colour;
     wxColour m_active_caption_text_colour;