+void wxAuiGtkTabArt::DrawBorder(wxDC& WXUNUSED(dc), wxWindow* wnd, const wxRect& rect)
+{
+ int generic_border_width = wxAuiGenericTabArt::GetBorderWidth(wnd);
+
+ if (!wnd) return;
+ if (!wnd->m_wxwindow) return;
+ if (!gtk_widget_is_drawable(wnd->m_wxwindow)) return;
+
+ GtkStyle *style_notebook = gtk_widget_get_style(wxGTKPrivate::GetNotebookWidget());
+
+ gtk_paint_box(style_notebook, wnd->GTKGetDrawingWindow(), GTK_STATE_NORMAL, GTK_SHADOW_OUT,
+ NULL, wnd->m_wxwindow,
+ const_cast<char*>("notebook"),
+ rect.x + generic_border_width + 1, rect.y + generic_border_width + 1,
+ rect.width - (generic_border_width + 1), rect.height - (generic_border_width + 1));
+}
+