Ian Hickson 71e689f450 Have a default default text style.
This way, widgets that try to use the DefaultTextStyle don't have to

handle the case where there isn't an explicit default.
2016-04-01 16:10:27 -07:00
..
2016-04-01 16:10:27 -07:00
2016-03-25 18:40:18 -07:00
2016-02-11 00:06:23 -08:00
2016-03-29 12:43:19 -07:00