+ // we must erase everything first, otherwise the garbage from the old sash
+ // is left when dragging it
+ //
+ // TODO: is this the right way to draw themed background?
+ gtk_paint_flat_box
+ (
+ win->m_wxwindow->style,
+ GTK_PIZZA(win->m_wxwindow)->bin_window,
+ GTK_STATE_NORMAL,
+ GTK_SHADOW_NONE,
+ NULL,
+ win->m_wxwindow,
+ (char *)"base", // const_cast
+ erase_rect.x,
+ erase_rect.y,
+ erase_rect.width,
+ erase_rect.height
+ );
+