title1            495 src/filemanager/layout.c     const char *title1 = _ ("Panel split");
title1            530 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title1) + 4);
title1            553 src/filemanager/layout.c     group_add_widget (g, groupbox_new (2, 3, 6, l1, title1));