title3            502 src/filemanager/layout.c     const char *title3 = N_("Other options");
title3            520 src/filemanager/layout.c         title3 = _(title3);
title3            548 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title3) + 4);
title3            613 src/filemanager/layout.c     group_add_widget (g, groupbox_new (2, 4 + l1, 9, l1, title3));