Variable NAVIGATION_PANEL_CLASSConst

NAVIGATION_PANEL_CLASS: "theia-NavigationPanel" = 'theia-NavigationPanel'