More portal framework changes:
support for page command bars in page extension
ordering across layers on page
abstract discovery UI pages
improvements to open editor asap and defer updates if needed
<?xml version="1.0" encoding="UTF-8"?>
<?NLS TYPE="org.eclipse.help.toc"?>
<!-- Carbide tools include all tool plugins not developed by the Native Tools -->
<!-- in Austin, but from other Nokia groups or even external developer plugins -->
<!-- that want their tools to work in Carbide -->
<toc label="Carbide Tools" >
<anchor id="anchorCarbideToolsInfo" /> <!-- tool manuals -->
<anchor id="anchorCarbideToolsMisc" /> <!-- tool addendums, etc -->
<anchor id="anchorCarbideToolsExample" /> <!-- tool examples -->
</toc>