view: Use a rendered frame instead of custom border
So it can be styled with CSS. https://bugzilla.gnome.org/show_bug.cgi?id=653294
parent
f81d6e83
So it can be styled with CSS. https://bugzilla.gnome.org/show_bug.cgi?id=653294
mentioned in merge request !61 (merged)
·