Prevent resource from being loaded multiple times when navigating code.
Improve menu: buffer menu did not hide.
Correct bug in javascript snippets
Adding quick fixes for undeclared namespaces in options and sequence types.
Ignore unparsable css rules.
Add menu entry for quick navigation popup; menu styling changes
Add namespaces, change xquery snippets