inquire opened this issue on Sep 12, 2020 ยท 8 posts
A_Sunbeam posted Tue, 15 September 2020 at 12:45 AM
You can safely chuck out all the 10 point somethings and 11 point somethings; your current preferences in use are the ones witout all the decimals.