Terminal.getPadding

Warning vte_terminal_get_padding has been deprecated since version 0.26 and should not be used in newly-written code. Get the "inner-border" style property instead Determines the amount of additional space the widget is using to pad the edges of its visible area. This is necessary for cases where characters in the selected font don't themselves include a padding area and the text itself would otherwise be contiguous with the window border. Applications which use the widget's row_count, column_count, char_height, and char_width fields to set geometry hints using gtk_window_set_geometry_hints() will need to add this value to the base size. The values returned in xpad and ypad are the total padding used in each direction, and do not need to be doubled.

class Terminal
void
getPadding
(
out int xpad
,
out int ypad
)

Parameters

xpad int

address in which to store left/right-edge padding

ypad int

address in which to store top/bottom-edge ypadding

Meta