code: function doClose(file) {
              if (!promptOnly) {
                  MainViewManager._close(paneId, file);
                  HealthLogger.fileClosed(file);
              }
          }
docs: utility function for handleFileClose: closes document & removes from workingset