// by Jean-Paul Mari\r
//\r
// JPM = Jean-Paul Mari <djipi.mari@gmail.com>\r
+// RG = Richard Goedeken\r
//\r
// Who When What\r
// --- ---------- -----------------------------------------------------------\r
// JPM 11/03/2017 Created this file\r
// JPM Sept./2018 Added a status bar and better status report, and set information values in a tab\r
+// RG Jan./2021 Linux build fixes\r
//\r
\r
// STILL TO DO:\r