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