diff --git a/src/config.h b/src/config.h
index dc5e7a3..f2c4aca 100644
--- a/src/config.h
+++ b/src/config.h
@@ -75,7 +75,7 @@ public:
 	const char *GetMIDIThruIn (void) const;	// "" if not specified
 	const char *GetMIDIThruOut (void) const;	// "" if not specified
 	bool GetMIDIRXProgramChange (void) const;	// true if not specified
-	
+	bool GetIgnoreAllNotesOff (void) const;
 
 	// HD44780 LCD
 	// GPIO pin numbers are chip numbers, not header positions
@@ -143,6 +143,7 @@ private:
 	std::string m_MIDIThruIn;
 	std::string m_MIDIThruOut;
 	bool m_bMIDIRXProgramChange;
+	bool m_bIgnoreAllNotesOff;
 
 	bool m_bLCDEnabled;
 	unsigned m_nLCDPinEnable;