PHP-GTK
Thursday, August 28, 2014 
download | documentation | applications | faq | changelog | resources 


search for in the  


previousGtkStyle::paint_expander
GtkStyle::paint_flat_boxnext

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

GtkStyle::paint_extension

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

See also: draw_extension


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


previousGtkStyle::paint_expander
GtkStyle::paint_flat_boxnext

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