Fedora 37 Cinnamon. in distribution Missing setting: Options_Themes_Window Borders! Other Fedora 37 (MATE, Xfce, KDE) have the window border setting set. All Fedora 36 Themes window borders installed. Are they not installed in Fedora 37 Cinnamon?
