Store/restore the user's choosen tabstop value (if not the same as the default)
in/from user's props file (data/user/####.ini).