diff options
Diffstat (limited to 'frontends/riscos/configure.c')
| -rw-r--r-- | frontends/riscos/configure.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/riscos/configure.c b/frontends/riscos/configure.c index f4dced55b..d1e006f2e 100644 --- a/frontends/riscos/configure.c +++ b/frontends/riscos/configure.c @@ -117,6 +117,9 @@ void ro_gui_configure_initialise(void) ro_gui_configure_register("con_secure", ro_gui_options_security_initialise, ro_gui_wimp_event_finalise); + ro_gui_configure_register("con_search", + ro_gui_options_search_initialise, + ro_gui_wimp_event_finalise); /* translate the icons */ if (!ro_gui_configure_translate()) |
