log src/gui/pages/anime_list.cc @ 400:2f4dc1580b84

age author description
Fri, 07 Nov 2025 15:40:56 -0500 Paper anime_list: kind of properly display highlighted anime above others