PHP-GTK
Tuesday, September 02, 2014 
download | documentation | applications | faq | changelog | resources 


search for in the  


previousGtkStyle::paint_layout
GtkStyle::paint_resize_gripnext

Last updated: Sun, 12 May 2013
view this page in English

GtkStyle::paint_option

void paint_option(GdkWindow window, state_type, shadow_type, GdkRectangle area, GtkWidget widget, detail, x, y, width, height);

See also: draw_option


User Contributed Notes
gtk.gtkstyle.method.paint_option.php
add a note about notes
There are no user contributed notes for this page.


previousGtkStyle::paint_layout
GtkStyle::paint_resize_gripnext

Last updated: Sun, 12 May 2013
view this page in English


credits 

PHP  Copyright © 2001-2014 The PHP Group
 All rights reserved.
Last updated: Sun May 12 20:51:00 2013 CEST