From 1edead3929fa5ed8cb706630bfc2086423ed461b Mon Sep 17 00:00:00 2001 From: Ikey Doherty Date: Sun, 5 Nov 2017 18:11:19 +0000 Subject: [PATCH] frontend: Add place-holder for redirect options Signed-off-by: Ikey Doherty --- src/frontend/main-window.c | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/frontend/main-window.c b/src/frontend/main-window.c index 73767eb..b01c7ca 100644 --- a/src/frontend/main-window.c +++ b/src/frontend/main-window.c @@ -27,6 +27,11 @@ struct _LsiSettingsWindow { GtkWidget *check_intercept; #endif + /* Only when libredirect is enabled will we have this option */ +#ifdef HAVE_LIBREDIRECT + GtkWidget *check_redirect; +#endif + /* Always have these guys */ GtkWidget *check_native; GtkWidget *check_emul32; @@ -189,6 +194,15 @@ static void lsi_settings_window_init(LsiSettingsWindow *self) set_row_sensitive(self->check_intercept, FALSE); #endif +#ifdef HAVE_LIBREDIRECT + self->check_redirect = insert_grid_toggle(grid, + &row, + "Use the redirect library", + "Override system calls to fix known bugs in some " + "Linux ports. This option is recommended."); + set_row_sensitive(self->check_redirect, FALSE); +#endif + /* Finally, make sure we're visible will we. */ gtk_container_set_border_width(GTK_CONTAINER(self), 12); gtk_widget_show_all(GTK_WIDGET(self));