- 22 Jan, 2017 1 commit
-
-
Ian Hickson authored
-
- 01 Nov, 2016 1 commit
-
-
Ian Hickson authored
-
- 31 Oct, 2016 1 commit
-
-
Adam Barth authored
Fixes #6591
-
- 21 Jun, 2016 1 commit
-
-
Hans Muller authored
-
- 09 Jun, 2016 1 commit
-
-
Ian Hickson authored
Also renames ButtonTheme.footer to ButtonTheme.bar.
-
- 29 Apr, 2016 1 commit
-
-
Adam Barth authored
Instead of incorporating the margin into the button, introduce a ButtonBar widget that supplies the proper spacing between the buttons. Also, make these buttons more configurable via ButtonTheme so that dialogs can change the minWidth and padding of the buttons as required by the spec. Fixes #1843 Fixes #3184
-