Extension:TeX Editor/Favorites