thodg/cgminer

2012-02-17T22:55:33

Plain refresh() does not give reliably screen updates so get rid of all uses of it.