Better drawing of the navigator + rectangle around the highlight of the
visible portion.

+ Spinbox: shift cursor positions when digits are added/removed from
the beginning so the user is always modifying the same digit