When some feeds have a fetching error, is it shown in the navigation drawer (they are marked in red), but just looking at the entries list, one does not notice that some feeds may not have refreshed correctly.
This PR adds a little red dot to the menu icon, so that the user sees directly that something is wrong and taps on it to check it out.
Feedback on the dot size and color is welcome!
When some feeds have a fetching error, is it shown in the navigation drawer (they are marked in red), but just looking at the entries list, one does not notice that some feeds may not have refreshed correctly. This PR adds a little red dot to the menu icon, so that the user sees directly that something is wrong and taps on it to check it out. Feedback on the dot size and color is welcome!