resolve a promise after editor loads

Ensures that navigation, switching editors, etc are handled
properly now that we have asynchronous editor loads.
Remove global variable reference explorer in navHistory
new colors for hovers