var searchData= [ ['whattodoonescape',['whatToDoOnEscape',['../menu_f_s_m_8c.html#a6b6f6da91f0abb7d89a25813a89199ff',1,'whatToDoOnEscape(): menuFSM.c'],['../menu_f_s_m_8h.html#a6b6f6da91f0abb7d89a25813a89199ff',1,'whatToDoOnEscape(): menuFSM.c']]] ];