public void highlight(final DocRef docRef,
                          final TaskMonitorFactory taskMonitorFactory) {
        // Obtain the Explorer node for the provided DocRef
        restFactory
                .create(EXPLORER_RESOURCE)
                .method(res -> res.getFromDocRef(docRef))
                .onSuccess(this::highlight)
                .taskMonitorFactory(taskMonitorFactory)
                .exec();
    }
Highlights the supplied document item in the explorer tree.
stroom-core-client/src/main/java/stroom/document/client/DocumentPluginEventManager.java