// --- ---------- ------------------------------------------------------------\r
// JPM 06/19/2016 Soft debugger support\r
// JPM Sept./2018 Added the new Models and BIOS handler, and a screenshot settings\r
-// JPM 10/10/2018 Added search paths in settings \r
+// JPM 10/10/2018 Added search paths in settings\r
+// JPM 04/06/2019 Added ELF sections check\r
//\r
\r
#ifndef __SETTINGS_H__\r
bool displayHWlabels;\r
bool useFastBlitter;\r
bool displayFullSourceFilename;\r
+ bool ELFSectionsCheck;\r
size_t nbrmemory1browserwindow; // Number of memory browser windows\r
size_t DRAM_size; // DRAM size\r
\r