render_extension
Description:
[ CCode ( cname = "gtk_render_extension" ) ]
[ Version ( since = "3.0" ) ]
public void render_extension (Context cr, double x, double y, double width, double height, PositionType gap_side)
  [ Version ( since = "3.0" ) ]
public void render_extension (Context cr, double x, double y, double width, double height, PositionType gap_side)
Renders a extension (as in a Notebook tab) in the rectangle defined by x, 
      y, width, height.
 The side where the extension connects to is defined by gap_side.
Typical extension rendering:

Parameters:
| cr | 
           a Context  | 
      
| x | 
           X origin of the rectangle  | 
      
| y | 
           Y origin of the rectangle  | 
      
| width | 
           rectangle width  | 
      
| height | 
           rectangle height  | 
      
| gap_side | 
           side where the gap is  | 
      
| context |