Extracted from Pike v8.0 release 28 as of 2015-09-20.
   

Method GTK2.Style()->paint_tab()


Method paint_tab

GTK2.Style paint_tab(GTK2.Widget window, int state, int shadow, GTK2.GdkRectangle rect, GTK2.Widget widget, string detail, int x, int y, int width, int height)

Description

Draws an option menu tab (i.e. the up and down pointing arrows).