title3            496 src/filemanager/layout.c     const char *title3 = N_ ("Other options");
title3            514 src/filemanager/layout.c         title3 = _ (title3);
title3            542 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title3) + 4);
title3            606 src/filemanager/layout.c     group_add_widget (g, groupbox_new (2, 4 + l1, 9, l1, title3));