X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/f03fc89fff2d6e823e7d4d14fbe14822ad6777b1..11a23db53128bf244a089123b7fd27deb577a889:/src/gtk/minifram.cpp?ds=sidebyside diff --git a/src/gtk/minifram.cpp b/src/gtk/minifram.cpp index 80a6a879b2..6d07a6d893 100644 --- a/src/gtk/minifram.cpp +++ b/src/gtk/minifram.cpp @@ -1,319 +1,472 @@ ///////////////////////////////////////////////////////////////////////////// -// Name: minifram.cpp +// Name: src/gtk/minifram.cpp // Purpose: // Author: Robert Roebling -// Id: $Id$ // Copyright: (c) 1998 Robert Roebling // Licence: wxWindows licence ///////////////////////////////////////////////////////////////////////////// -#ifdef __GNUG__ -#pragma implementation "minifram.h" -#endif +// For compilers that support precompilation, includes "wx.h". +#include "wx/wxprec.h" -#include "wx/minifram.h" -#include "wx/dcscreen.h" +#if wxUSE_MINIFRAME -#include "gtk/gtk.h" -#include "wx/gtk/win_gtk.h" +#include "wx/minifram.h" -#include "gdk/gdk.h" -#include "gdk/gdkprivate.h" -#include "gdk/gdkx.h" +#ifndef WX_PRECOMP + #include "wx/settings.h" + #include "wx/dcclient.h" + #include "wx/image.h" +#endif -//----------------------------------------------------------------------------- -// idle system -//----------------------------------------------------------------------------- +#ifdef __WXGTK3__ +#include "wx/gtk/dc.h" +#else +#include "wx/gtk/dcclient.h" +#endif -extern void wxapp_install_idle_handler(); -extern bool g_isIdle; +#include +#include "wx/gtk/private/gtk2-compat.h" //----------------------------------------------------------------------------- // data //----------------------------------------------------------------------------- -extern bool g_blockEventsOnDrag; -extern bool g_blockEventsOnScroll; +extern bool g_blockEventsOnDrag; +extern bool g_blockEventsOnScroll; //----------------------------------------------------------------------------- -// local functions +// "expose_event" of m_mainWidget //----------------------------------------------------------------------------- -/* draw XOR rectangle when moving mine frame around */ - -static void DrawFrame( GtkWidget *widget, int x, int y, int w, int h ) +// StepColour() it a utility function that simply darkens +// or lightens a color, based on the specified percentage +static wxColor StepColour(const wxColor& c, int percent) { - int org_x = 0; - int org_y = 0; - gdk_window_get_origin( widget->window, &org_x, &org_y ); - x += org_x; - y += org_y; - - GdkGC *gc = gdk_gc_new( GDK_ROOT_PARENT() ); - gdk_gc_set_subwindow( gc, GDK_INCLUDE_INFERIORS ); - gdk_gc_set_function( gc, GDK_INVERT ); - - gdk_draw_rectangle( GDK_ROOT_PARENT(), gc, FALSE, x, y, w, h ); - gdk_gc_unref( gc ); + int r = c.Red(), g = c.Green(), b = c.Blue(); + return wxColour((unsigned char)wxMin((r*percent)/100,255), + (unsigned char)wxMin((g*percent)/100,255), + (unsigned char)wxMin((b*percent)/100,255)); } -//----------------------------------------------------------------------------- -// "expose_event" of m_mainWidget -//----------------------------------------------------------------------------- +static wxColor LightContrastColour(const wxColour& c) +{ + int amount = 120; + + // if the color is especially dark, then + // make the contrast even lighter + if (c.Red() < 128 && c.Green() < 128 && c.Blue() < 128) + amount = 160; -static void gtk_window_own_expose_callback( GtkWidget *widget, GdkEventExpose *gdk_event, wxFrame *win ) + return StepColour(c, amount); +} + +extern "C" { +#ifdef __WXGTK3__ +static gboolean draw(GtkWidget* widget, cairo_t* cr, wxMiniFrame* win) +#else +static gboolean expose_event(GtkWidget* widget, GdkEventExpose* gdk_event, wxMiniFrame* win) +#endif { - if (g_isIdle) wxapp_install_idle_handler(); - - if (!win->HasVMT()) return; - if (gdk_event->count > 0) return; - - gtk_draw_shadow( widget->style, - widget->window, - GTK_STATE_NORMAL, - GTK_SHADOW_OUT, - 0, 0, - win->GetWidth(), win->GetHeight() ); - - if (!win->m_title.IsEmpty() && - ((win->GetWindowStyle() & wxCAPTION) || - (win->GetWindowStyle() & wxTINY_CAPTION_HORIZ) || - (win->GetWindowStyle() & wxTINY_CAPTION_VERT))) +#ifdef __WXGTK3__ + if (!gtk_cairo_should_draw_window(cr, gtk_widget_get_window(widget))) + return false; + + GtkStyleContext* sc = gtk_widget_get_style_context(widget); + gtk_style_context_save(sc); + gtk_style_context_add_class(sc, GTK_STYLE_CLASS_BUTTON); + gtk_render_frame(sc, cr, 0, 0, win->m_width, win->m_height); + gtk_style_context_restore(sc); + + wxGTKCairoDC dc(cr); +#else + if (gdk_event->count > 0 || + gdk_event->window != gtk_widget_get_window(widget)) { - GdkGC *gc = gdk_gc_new( widget->window ); - GdkFont *font = wxSMALL_FONT->GetInternalFont(1.0); - int x = 2; - if (win->GetWindowStyle() & wxSYSTEM_MENU) x = 18; - - gdk_gc_set_foreground( gc, &widget->style->bg[GTK_STATE_SELECTED] ); - gdk_draw_rectangle( widget->window, gc, TRUE, - x, - 3, - win->GetWidth() - 4 - x, - font->ascent + font->descent+1 ); - - gdk_gc_set_foreground( gc, &widget->style->white ); - gdk_draw_string( widget->window, font, gc, - x+2, - 3+font->ascent, - win->m_title.mb_str() ); - - gdk_gc_unref( gc ); + return false; } -} -//----------------------------------------------------------------------------- -// "draw" of m_mainWidget -//----------------------------------------------------------------------------- + gtk_paint_shadow (gtk_widget_get_style(widget), + gtk_widget_get_window(widget), + GTK_STATE_NORMAL, + GTK_SHADOW_OUT, + NULL, NULL, NULL, // FIXME: No clipping? + 0, 0, + win->m_width, win->m_height); -static void gtk_window_own_draw_callback( GtkWidget *widget, GdkRectangle *WXUNUSED(rect), wxFrame *win ) -{ - if (g_isIdle) wxapp_install_idle_handler(); - - if (!win->HasVMT()) return; - - gtk_draw_shadow( widget->style, - widget->window, - GTK_STATE_NORMAL, - GTK_SHADOW_OUT, - 0, 0, - win->GetWidth(), win->GetHeight() ); - - if (!win->m_title.IsEmpty() && - ((win->GetWindowStyle() & wxCAPTION) || - (win->GetWindowStyle() & wxTINY_CAPTION_HORIZ) || - (win->GetWindowStyle() & wxTINY_CAPTION_VERT))) + wxClientDC dc(win); + + wxDCImpl *impl = dc.GetImpl(); + wxClientDCImpl *gtk_impl = wxDynamicCast( impl, wxClientDCImpl ); + gtk_impl->m_gdkwindow = gtk_widget_get_window(widget); // Hack alert +#endif + + int style = win->GetWindowStyle(); + + if (style & wxRESIZE_BORDER) + { + dc.SetBrush( *wxGREY_BRUSH ); + dc.SetPen( *wxTRANSPARENT_PEN ); + dc.DrawRectangle( win->m_width - 14, win->m_height-14, 14, 14 ); + } + + if (win->m_miniTitle && !win->GetTitle().empty()) { - GdkGC *gc = gdk_gc_new( widget->window ); - GdkFont *font = wxSMALL_FONT->GetInternalFont(1.0); - int x = 2; - if (win->GetWindowStyle() & wxSYSTEM_MENU) x = 17; - - gdk_gc_set_foreground( gc, &widget->style->bg[GTK_STATE_SELECTED] ); - gdk_draw_rectangle( widget->window, gc, TRUE, - x, - 3, - win->GetWidth() - 4 - x, - font->ascent + font->descent+1 ); - - gdk_gc_set_foreground( gc, &widget->style->white ); - gdk_draw_string( widget->window, font, gc, - x+2, - 3+font->ascent, - win->m_title.mb_str() ); - - gdk_gc_unref( gc ); + dc.SetFont( *wxSMALL_FONT ); + + wxBrush brush( LightContrastColour( wxSystemSettings::GetColour(wxSYS_COLOUR_HIGHLIGHT) ) ); + dc.SetBrush( brush ); + dc.SetPen( *wxTRANSPARENT_PEN ); + dc.DrawRectangle( win->m_miniEdge-1, + win->m_miniEdge-1, + win->m_width - (2*(win->m_miniEdge-1)), + 15 ); + + dc.SetTextForeground( *wxWHITE ); + dc.DrawText( win->GetTitle(), 6, 4 ); + + if (style & wxCLOSE_BOX) + dc.DrawBitmap( win->m_closeButton, win->m_width-18, 3, true ); } + + return false; +} } //----------------------------------------------------------------------------- // "button_press_event" of m_mainWidget //----------------------------------------------------------------------------- -static gint gtk_window_button_press_callback( GtkWidget *widget, GdkEventButton *gdk_event, wxMiniFrame *win ) +extern "C" { +static gboolean +gtk_window_button_press_callback(GtkWidget* widget, GdkEventButton* gdk_event, wxMiniFrame* win) { - if (g_isIdle) wxapp_install_idle_handler(); - - if (!win->HasVMT()) return FALSE; + if (gdk_event->window != gtk_widget_get_window(widget)) + return false; if (g_blockEventsOnDrag) return TRUE; if (g_blockEventsOnScroll) return TRUE; if (win->m_isDragging) return TRUE; - gdk_pointer_grab( widget->window, FALSE, - (GdkEventMask) - (GDK_BUTTON_PRESS_MASK | - GDK_BUTTON_RELEASE_MASK | - GDK_POINTER_MOTION_MASK | - GDK_POINTER_MOTION_HINT_MASK | - GDK_BUTTON_MOTION_MASK | - GDK_BUTTON1_MOTION_MASK), - (GdkWindow *) NULL, - (GdkCursor *) NULL, - GDK_CURRENT_TIME ); - - win->m_diffX = (int)gdk_event->x; - win->m_diffY = (int)gdk_event->y; - DrawFrame( widget, 0, 0, win->GetWidth(), win->GetHeight() ); + int style = win->GetWindowStyle(); + + int y = (int)gdk_event->y; + int x = (int)gdk_event->x; + + if ((style & wxRESIZE_BORDER) && + (x > win->m_width-14) && (y > win->m_height-14)) + { + GtkWidget *ancestor = gtk_widget_get_toplevel( widget ); + + GdkWindow *source = gtk_widget_get_window(widget); + + int org_x = 0; + int org_y = 0; + gdk_window_get_origin( source, &org_x, &org_y ); + + gtk_window_begin_resize_drag (GTK_WINDOW (ancestor), + GDK_WINDOW_EDGE_SOUTH_EAST, + 1, + org_x + x, + org_y + y, + 0); + + return TRUE; + } + + if (win->m_miniTitle && (style & wxCLOSE_BOX)) + { + if ((y > 3) && (y < 19) && (x > win->m_width-19) && (x < win->m_width-3)) + { + win->Close(); + return TRUE; + } + } + + if (y >= win->m_miniEdge + win->m_miniTitle) + return true; + + gdk_window_raise(gtk_widget_get_window(win->m_widget)); + + const GdkEventMask mask = GdkEventMask( + GDK_BUTTON_PRESS_MASK | + GDK_BUTTON_RELEASE_MASK | + GDK_POINTER_MOTION_MASK | + GDK_POINTER_MOTION_HINT_MASK | + GDK_BUTTON_MOTION_MASK | + GDK_BUTTON1_MOTION_MASK); +#ifdef __WXGTK3__ + gdk_device_grab( + gdk_event->device, gdk_event->window, GDK_OWNERSHIP_NONE, + false, mask, NULL, gdk_event->time); +#else + gdk_pointer_grab(gdk_event->window, false, mask, NULL, NULL, gdk_event->time); +#endif + + win->m_diffX = x; + win->m_diffY = y; win->m_oldX = 0; win->m_oldY = 0; - - win->m_isDragging = TRUE; + + win->m_isDragging = true; return TRUE; } +} //----------------------------------------------------------------------------- // "button_release_event" of m_mainWidget //----------------------------------------------------------------------------- -static gint gtk_window_button_release_callback( GtkWidget *widget, GdkEventButton *gdk_event, wxMiniFrame *win ) +extern "C" { +static gboolean +gtk_window_button_release_callback(GtkWidget* widget, GdkEventButton* gdk_event, wxMiniFrame* win) { - if (g_isIdle) wxapp_install_idle_handler(); - - if (!win->HasVMT()) return FALSE; + if (gdk_event->window != gtk_widget_get_window(widget)) + return false; if (g_blockEventsOnDrag) return TRUE; if (g_blockEventsOnScroll) return TRUE; - if (!win->m_isDragging) return TRUE; - - win->m_isDragging = FALSE; - + + win->m_isDragging = false; + int x = (int)gdk_event->x; int y = (int)gdk_event->y; - - DrawFrame( widget, win->m_oldX, win->m_oldY, win->GetWidth(), win->GetHeight() ); - gdk_pointer_ungrab ( GDK_CURRENT_TIME ); - int org_x = 0; + +#ifdef __WXGTK3__ + gdk_device_ungrab(gdk_event->device, gdk_event->time); +#else + gdk_pointer_ungrab(gdk_event->time); +#endif + int org_x = 0; int org_y = 0; - gdk_window_get_origin( widget->window, &org_x, &org_y ); + gdk_window_get_origin(gtk_widget_get_window(widget), &org_x, &org_y); x += org_x - win->m_diffX; y += org_y - win->m_diffY; - win->InternalSetPosition(x, y); - gtk_widget_set_uposition( win->GetWidget(), x, y ); + win->m_x = x; + win->m_y = y; + gtk_window_move( GTK_WINDOW(win->m_widget), x, y ); return TRUE; } +} //----------------------------------------------------------------------------- -// "motion_notify_event" of m_mainWidget +// "leave_notify_event" of m_mainWidget //----------------------------------------------------------------------------- -static gint gtk_window_motion_notify_callback( GtkWidget *widget, GdkEventMotion *gdk_event, wxMiniFrame *win ) +extern "C" { +static gboolean +gtk_window_leave_callback(GtkWidget *widget, + GdkEventCrossing* gdk_event, + wxMiniFrame*) { - if (g_isIdle) wxapp_install_idle_handler(); + if (g_blockEventsOnDrag) return FALSE; + if (gdk_event->window != gtk_widget_get_window(widget)) + return false; + + gdk_window_set_cursor(gtk_widget_get_window(widget), NULL); - if (!win->HasVMT()) return FALSE; + return FALSE; +} +} + +//----------------------------------------------------------------------------- +// "motion_notify_event" of m_mainWidget +//----------------------------------------------------------------------------- + +extern "C" { +static gboolean +gtk_window_motion_notify_callback( GtkWidget *widget, GdkEventMotion *gdk_event, wxMiniFrame *win ) +{ + if (gdk_event->window != gtk_widget_get_window(widget)) + return false; if (g_blockEventsOnDrag) return TRUE; if (g_blockEventsOnScroll) return TRUE; - if (!win->m_isDragging) return TRUE; - + int x = int(gdk_event->x); + int y = int(gdk_event->y); + if (gdk_event->is_hint) { - int x = 0; - int y = 0; - GdkModifierType state; - gdk_window_get_pointer(gdk_event->window, &x, &y, &state); - gdk_event->x = x; - gdk_event->y = y; - gdk_event->state = state; +#ifdef __WXGTK3__ + gdk_window_get_device_position(gdk_event->window, gdk_event->device, &x, &y, NULL); +#else + gdk_window_get_pointer(gdk_event->window, &x, &y, NULL); +#endif } - DrawFrame( widget, win->m_oldX, win->m_oldY, win->GetWidth(), win->GetHeight() ); - win->m_oldX = (int)gdk_event->x - win->m_diffX; - win->m_oldY = (int)gdk_event->y - win->m_diffY; - DrawFrame( widget, win->m_oldX, win->m_oldY, win->GetWidth(), win->GetHeight() ); - - return TRUE; -} + if (!win->m_isDragging) + { + if (win->GetWindowStyle() & wxRESIZE_BORDER) + { + if ((x > win->m_width-14) && (y > win->m_height-14)) + gdk_window_set_cursor(gtk_widget_get_window(widget), gdk_cursor_new(GDK_BOTTOM_RIGHT_CORNER)); + else + gdk_window_set_cursor(gtk_widget_get_window(widget), NULL); + win->GTKUpdateCursor(false); + } + return TRUE; + } -//----------------------------------------------------------------------------- -// "clicked" of X system button -//----------------------------------------------------------------------------- + win->m_oldX = x - win->m_diffX; + win->m_oldY = y - win->m_diffY; -static void gtk_button_clicked_callback( GtkWidget *WXUNUSED(widget), wxMiniFrame *mf ) -{ - if (g_isIdle) wxapp_install_idle_handler(); + int org_x = 0; + int org_y = 0; + gdk_window_get_origin(gtk_widget_get_window(widget), &org_x, &org_y); + x += org_x - win->m_diffX; + y += org_y - win->m_diffY; + win->m_x = x; + win->m_y = y; + gtk_window_move( GTK_WINDOW(win->m_widget), x, y ); - mf->Close(); + return TRUE; +} } //----------------------------------------------------------------------------- // wxMiniFrame //----------------------------------------------------------------------------- +static unsigned char close_bits[]={ + 0xff, 0xff, 0xff, 0xff, 0x07, 0xf0, 0xfb, 0xef, 0xdb, 0xed, 0x8b, 0xe8, + 0x1b, 0xec, 0x3b, 0xee, 0x1b, 0xec, 0x8b, 0xe8, 0xdb, 0xed, 0xfb, 0xef, + 0x07, 0xf0, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff }; + + IMPLEMENT_DYNAMIC_CLASS(wxMiniFrame,wxFrame) +wxMiniFrame::~wxMiniFrame() +{ + if (m_widget) + { + GtkWidget* eventbox = gtk_bin_get_child(GTK_BIN(m_widget)); + GTKDisconnect(eventbox); + } +} + bool wxMiniFrame::Create( wxWindow *parent, wxWindowID id, const wxString &title, const wxPoint &pos, const wxSize &size, long style, const wxString &name ) { - style = style | wxSIMPLE_BORDER; - - if ((style & wxCAPTION) || (style & wxTINY_CAPTION_HORIZ) || (style & wxTINY_CAPTION_VERT)) - m_miniTitle = 13; - - m_miniEdge = 3; - m_isDragging = FALSE; + m_miniTitle = 0; + if (style & wxCAPTION) + m_miniTitle = 16; + + if (style & wxRESIZE_BORDER) + m_miniEdge = 4; + else + m_miniEdge = 3; + m_isDragging = false; m_oldX = -1; m_oldY = -1; m_diffX = 0; m_diffY = 0; - + + // don't allow sizing smaller than decorations + int minWidth = 2 * m_miniEdge; + int minHeight = 2 * m_miniEdge + m_miniTitle; + if (m_minWidth < minWidth) + m_minWidth = minWidth; + if (m_minHeight < minHeight) + m_minHeight = minHeight; + wxFrame::Create( parent, id, title, pos, size, style, name ); - if ((style & wxSYSTEM_MENU) && - ((style & wxCAPTION) || (style & wxTINY_CAPTION_HORIZ) || (style & wxTINY_CAPTION_VERT))) + // Use a GtkEventBox for the title and borders. Using m_widget for this + // almost works, except that setting the resize cursor has no effect. + GtkWidget* eventbox = gtk_event_box_new(); + gtk_widget_add_events(eventbox, + GDK_POINTER_MOTION_MASK | + GDK_POINTER_MOTION_HINT_MASK); + gtk_widget_show(eventbox); + // Use a GtkAlignment to position m_mainWidget inside the decorations + GtkWidget* alignment = gtk_alignment_new(0, 0, 1, 1); + gtk_alignment_set_padding(GTK_ALIGNMENT(alignment), + m_miniTitle + m_miniEdge, m_miniEdge, m_miniEdge, m_miniEdge); + gtk_widget_show(alignment); + // The GtkEventBox and GtkAlignment go between m_widget and m_mainWidget + gtk_widget_reparent(m_mainWidget, alignment); + gtk_container_add(GTK_CONTAINER(eventbox), alignment); + gtk_container_add(GTK_CONTAINER(m_widget), eventbox); + + m_gdkDecor = 0; + m_gdkFunc = 0; + if (style & wxRESIZE_BORDER) + m_gdkFunc = GDK_FUNC_RESIZE; + gtk_window_set_default_size(GTK_WINDOW(m_widget), m_width, m_height); + memset(&m_decorSize, 0, sizeof(m_decorSize)); + m_deferShow = false; + + if (m_parent && (GTK_IS_WINDOW(m_parent->m_widget))) + { + gtk_window_set_transient_for( GTK_WINDOW(m_widget), GTK_WINDOW(m_parent->m_widget) ); + } + + if (m_miniTitle && (style & wxCLOSE_BOX)) { - GtkWidget *close_button = gtk_button_new_with_label( "x" ); - - gtk_myfixed_put( GTK_MYFIXED(m_mainWidget), - close_button, - 4, 4, 12, 11 ); - - gtk_widget_show( close_button ); - - gtk_signal_connect( GTK_OBJECT(close_button), "clicked", - GTK_SIGNAL_FUNC(gtk_button_clicked_callback), (gpointer*)this ); + wxImage img = wxBitmap((const char*)close_bits, 16, 16).ConvertToImage(); + img.Replace(0,0,0,123,123,123); + img.SetMaskColour(123,123,123); + m_closeButton = wxBitmap( img ); } - + /* these are called when the borders are drawn */ - gtk_signal_connect( GTK_OBJECT(m_mainWidget), "expose_event", - GTK_SIGNAL_FUNC(gtk_window_own_expose_callback), (gpointer)this ); +#ifdef __WXGTK3__ + g_signal_connect_after(eventbox, "draw", G_CALLBACK(draw), this); +#else + g_signal_connect_after(eventbox, "expose_event", G_CALLBACK(expose_event), this); +#endif - gtk_signal_connect( GTK_OBJECT(m_mainWidget), "draw", - GTK_SIGNAL_FUNC(gtk_window_own_draw_callback), (gpointer)this ); - /* these are required for dragging the mini frame around */ - gtk_signal_connect( GTK_OBJECT(m_mainWidget), "button_press_event", - GTK_SIGNAL_FUNC(gtk_window_button_press_callback), (gpointer)this ); + g_signal_connect (eventbox, "button_press_event", + G_CALLBACK (gtk_window_button_press_callback), this); + g_signal_connect (eventbox, "button_release_event", + G_CALLBACK (gtk_window_button_release_callback), this); + g_signal_connect (eventbox, "motion_notify_event", + G_CALLBACK (gtk_window_motion_notify_callback), this); + g_signal_connect (eventbox, "leave_notify_event", + G_CALLBACK (gtk_window_leave_callback), this); + return true; +} - gtk_signal_connect( GTK_OBJECT(m_mainWidget), "button_release_event", - GTK_SIGNAL_FUNC(gtk_window_button_release_callback), (gpointer)this ); +void wxMiniFrame::DoGetClientSize(int* width, int* height) const +{ + wxFrame::DoGetClientSize(width, height); - gtk_signal_connect( GTK_OBJECT(m_mainWidget), "motion_notify_event", - GTK_SIGNAL_FUNC(gtk_window_motion_notify_callback), (gpointer)this ); + if (m_useCachedClientSize) + return; - return TRUE; + if (width) + { + *width -= 2 * m_miniEdge; + if (*width < 0) *width = 0; + } + if (height) + { + *height -= m_miniTitle + 2 * m_miniEdge; + if (*height < 0) *height = 0; + } +} + +// Keep min size at least as large as decorations +void wxMiniFrame::DoSetSizeHints(int minW, int minH, int maxW, int maxH, int incW, int incH) +{ + const int w = 2 * m_miniEdge; + const int h = 2 * m_miniEdge + m_miniTitle; + if (minW < w) minW = w; + if (minH < h) minH = h; + wxFrame::DoSetSizeHints(minW, minH, maxW, maxH, incW, incH); } + +void wxMiniFrame::SetTitle( const wxString &title ) +{ + wxFrame::SetTitle( title ); + + GdkWindow* window = gtk_widget_get_window(gtk_bin_get_child(GTK_BIN(m_widget))); + if (window) + gdk_window_invalidate_rect(window, NULL, false); +} + +#endif // wxUSE_MINIFRAME