4 commits

Author	SHA1	Message	Date
Lars Brubaker	b51b38b249	Moved TextWidget.GlobalPointSizeScaleRatio -> GuiWidget.DeviceScale ... Significantly improved the layout consistency when enlarging the device scale. Created a DeviceMargin and DevicePadding on GuiWidget Deleted dead code Made many images have default larger disk sizes and scale in memory. Made the menus have horizontal spacers rather than dashed lines	2016-05-06 17:56:27 -07:00
Lars Brubaker	778cfb8718	Took out the caching of slice settings hash code.	2016-05-02 16:34:13 -07:00
Lars Brubaker	895eea253c	Converted lots of get properties to methods in SettingsProfile	2016-04-27 18:57:51 -07:00
John Lewin	875bbb40b0	Revise ATX Power submission from peter1960	2015-04-30 15:46:45 -07:00