Revision 7e6c4fd...(Back to digest)
Bug Fixes in Networking Tools
Fix the display of the active tab in main_content.
The size of the page could be wrong because the content of a tab
can update after it is loaded. Since the current animation allow it,
the main_content can vary with the size of the child.
The animation was not run when changing the display since it is
considered as programmatic change by the CSS animations. We force
a run of the event loop to make sure the animatons runs.