title3            497 src/filemanager/layout.c     const char *title3 = _ ("Other options");
title3            532 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title3) + 4);
title3            596 src/filemanager/layout.c     group_add_widget (g, groupbox_new (2, 4 + l1, 9, l1, title3));