ec_leading_nbsp

ec_leading_nbsp   the_integer   n_desired_digits

Adds leading nbsps to an integer to give it the desired number of digits

Source code:

    set n_digits_to_add [expr $n_desired_digits - [string length $the_integer]]
    if {$n_digits_to_add <= 0} {
	return $the_integer
    } else {
	return [ec_leading_zeros "&nbsp;&nbsp;$the_integer" $n_desired_digits]
    }