The suggestion in my last posting produces a New Sketch, which is not at all helpful.
All that's required, to "re-activate" the Sketch Dimension tool, is to select 'Edit Sketch': my problem was caused by the program 'Stopping' the Sketch, seemingly of its own accord. The solution to this problem was:
- On the (sort of) tree diagram in the top left corner of the design area, right-click on the icon for the currently active Sketch (i.e. the one that you've got on screen): this should open a drop-down list.
- From the drop-down list, left-click on Edit Sketch (3rd on the list): this should put the Sketch back into an edit-able mode in general, in which the Sketch Dimension tool is active.