No favorites to display

When 08ide adds favorites they will be shown here