GtkTextView:top-margin

property top-margin: int [ read, write ]

TextView中文本的首个像素位置.toUpperCase()上方的边距。

注意这个属性的命名可能有点令人困惑。在CSS术语中，这里设置的值是填充值，并且它是在主题填充的基础上应用。

不要将这个属性与GtkWidget:margin-top混为一谈。

类型:gint