Skip to content

Instantly share code, notes, and snippets.

@ebassi
Created June 10, 2016 15:37
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ebassi/aa2554bbf89558f08f5e56cf2e360e40 to your computer and use it in GitHub Desktop.
Save ebassi/aa2554bbf89558f08f5e56cf2e360e40 to your computer and use it in GitHub Desktop.
let context = widget.get_style_context();
let state = widget.get_state_flags();
context.save();
context.set_state(state);
padding = context.get_padding(context.get_state());
context.restore();
return padding;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment