classes: MKtlGui: also print labels, and use a sorted dictionary. Also make the too small numberbox a bit larger