add a reftest that checks GtkTextView text margin property comparing with the normal margin added to the widget (they are the same when there is nothing drawn in the gutter like line numbers etc).