title3            455 src/filemanager/layout.c     const char *title3 = N_("Other options");
title3            477 src/filemanager/layout.c         title3 = _(title3);
title3            505 src/filemanager/layout.c     l1 = max (l1, str_term_width1 (title3) + 4);
title3            566 src/filemanager/layout.c     add_widget (layout_dlg, groupbox_new (2, 4 + l1, 9, l1, title3));