refreshOpenEditors

Refresh openEditors from the given AvailWorkbench.

Parameters

workbench

The source of the AvailWorkbench.openEditors.