set_border_window_size
Description:
Sets the width of gtk_text_window_left or gtk_text_window_right, or the height of gtk_text_window_top or gtk_text_window_bottom.
Automatically destroys the corresponding window if the size is set to 0, and creates the window if the size is set to non-zero. This function can only be used for the “border windows”, and it won’t work with gtk_text_window_widget, gtk_text_window_text, or gtk_text_window_private.
Parameters:
| this |
a TextView |
| type |
window to affect |
| size |
width or height of the window |