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
..
agg-sharp@772625e614	Moved TextWidget.GlobalPointSizeScaleRatio -> GuiWidget.DeviceScale	2016-05-06 17:56:27 -07:00
MatterSlice@0b49ea8a26	Fixed the font size in touch screen mode	2016-05-06 07:54:46 -07:00