title2            506 src/filemanager/layout.c     const char *title2 = _ ("Console output");
title2            541 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title2) + 4);
title2            590 src/filemanager/layout.c         w = WIDGET (groupbox_new (8, 3, 3, l1, title2));