log src/gui/pages/anime_list.cc @ 409:8d06825d96d1

age author description
Thu, 02 Apr 2026 00:18:56 -0400 Paper library: refresh in a separate thread
Fri, 07 Nov 2025 15:40:56 -0500 Paper anime_list: kind of properly display highlighted anime above others
Fri, 07 Nov 2025 15:28:22 -0500 Paper anime_list: actually obey "highlight anime if they are available"