John Lewin 1a91cbc5c8 Use theme default font size		2018-01-12 14:51:10 -08:00
..
TerminalLog.cs	Reduce localization in PrinterConnection, move to application layer	2017-12-31 06:15:16 -08:00
TerminalWidget.cs	Use theme default font size	2018-01-12 14:51:10 -08:00
TextScrolBar.cs
TextScrollWidget.cs	Revise update widgets	2018-01-11 22:11:43 -08:00