#include <gal/color4d.h>
#include <widgets/number_badge.h>
#include <algorithm>
#include <kiplatform/ui.h>
Go to the source code of this file.