gtk::paint_extension

gtk::paint_extension

void gtk::paint_extension( GtkStyle style , GdkWindow window , GtkStateType state_type , GtkShadowType shadow_type , GdkRectangle area, GtkWidget widget , string detail, int x, int y, int width, int height, GtkPositionType gap_side );
© Copyright 2003-2023 www.php-editors.com. The ultimate PHP Editor and PHP IDE site.