\r
void add_session_to_jumplist(const char * const sessionname) {}\r
void remove_session_from_jumplist(const char * const sessionname) {}\r
\r
void add_session_to_jumplist(const char * const sessionname) {}\r
void remove_session_from_jumplist(const char * const sessionname) {}\r