Some extensions for speedbar