ok_button         504 src/filemanager/layout.c     const char *ok_button = _ ("&OK");
ok_button         537 src/filemanager/layout.c     b1 = str_term_width1 (ok_button) + 5;  // default button
ok_button         608 src/filemanager/layout.c     group_add_widget (g, button_new (12, (width - b) / 2, B_ENTER, DEFPUSH_BUTTON, ok_button, 0));