2023-01-17, 16:20
@AchillesPunks , @matke : Has there been a conscious decision to remove all theme options from main settings GUI? I really like the rounded theme overall rather then the hyper sharp borders. But since the recent 2.1 update that option has been removed ?