browser_side: categories of the menus can be "flattened": - add the parameter "flat_level" to GenericMenuBar - the items of flattened sub-menus are displayed in the parent menu XXX: the implementation covers the current needs but is not fully completed: - the flattened categories of all levels are displayed the same way - items of flattened categories are appended to the parent menus instead of being inserted

syntax: glob
*.pyc
*.pyv
*.swp
*.swo
*.js
tags
twistd.log
twistd.pid
output
sat.egg-info
*.un~
dist
MANIFEST
*.sh
build/
Session.vim
ctags_links/