wxBORDER_THEME now means 'use an appropriate themed border' on all plaforms

as opposed to wxBORDER_NONE which may or may not show a border, depending on control.


git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/branches/WX_2_8_BRANCH@48765 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775
This commit is contained in:
Julian Smart
2007-09-18 14:15:27 +00:00
parent 2fda87f1f7
commit 3a5b0aa5e0
9 changed files with 84 additions and 77 deletions

View File

@@ -1583,7 +1583,7 @@ static gint gtk_window_button_press_callback( GtkWidget *widget,
}
g_lastMouseEvent = (GdkEvent*) gdk_event;
wxMouseEvent event( event_type );
InitMouseEvent( win, event, gdk_event );
@@ -1686,7 +1686,7 @@ static gint gtk_window_button_release_callback( GtkWidget *widget,
}
g_lastMouseEvent = (GdkEvent*) gdk_event;
wxMouseEvent event( event_type );
InitMouseEvent( win, event, gdk_event );
@@ -2958,7 +2958,7 @@ void wxWindowGTK::OnInternalIdle()
}
}
if (wxUpdateUIEvent::CanUpdate(this))
if (wxUpdateUIEvent::CanUpdate(this) && IsShown())
UpdateWindowUI(wxUPDATE_UI_FROMIDLE);
}