log src/gui/widgets/sidebar.cc @ 153:bd439dd6ffc5

age author description
Mon, 06 Nov 2023 13:41:30 -0500 Paper locale: allow switching locales without restarting