Noah Petherbridge 11df6cbda9 Move most properties from Button to parent Widget ... These properties will be globally useful to all sorts of Widgets and have been moved from the Button up into the Common widget, and its interface extended to configure these: * Padding int32 * Background color * Foreground color * Border size, color and style (default solid; raised; sunken) * Outline size and color The button adjusts its border style from "raised" to "sunken" for MouseDown events and its Background color for MouseOver events. Other widgets such as Labels and Frames will be able to have borders, paddings and outlines too, but they will be off by default.		2018-07-25 21:24:37 -07:00
..
theme.go	Move most properties from Button to parent Widget	2018-07-25 21:24:37 -07:00