Issue #107: added 'unhide' button

Also, refactored how 'refresh' is called within editor.  To prevent unnecessary invocations,
it should be called only by user interface actions, e.g., button presses; not at the end of
an operation being performed, since that operation may be just one in a sequence being
executed as a unit.