1

I've found that the Gtk.BorderStyle enum gives you some options as to border (raised, sunken, etc.). How do you actually apply these settings to a Gtk.Widget?

LordPharaoh
  • 11
  • 2

1 Answers1

0

These are set in CSS, using border-style and related CSS properties. For example:

button {
    border: 1px dotted red;
}

See https://developer.gnome.org/gtk3/stable/chap-css-properties.html for more information.

ptomato
  • 56,175
  • 13
  • 112
  • 165