log src/gui/dialog/settings/application.cc @ 403:df4a027623d0 default tip

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