From dd5636bc091e9abc3b916d86be95b8e8ef452876 Mon Sep 17 00:00:00 2001 From: Martin Wimpress Date: Mon, 24 Feb 2014 14:44:24 +0000 Subject: Opening new terminal in a tab now works. The new intended behaviour is desbribed in https://bugzilla.gnome.org/show_bug.cgi?id=83203#c57 Fixes #45. --- src/terminal-app.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/terminal-app.h') diff --git a/src/terminal-app.h b/src/terminal-app.h index 39c2ad1..70a0665 100644 --- a/src/terminal-app.h +++ b/src/terminal-app.h @@ -115,7 +115,9 @@ TerminalScreen *terminal_app_new_terminal (TerminalApp *app, char **child_env, double zoom); -TerminalWindow *terminal_app_get_current_window (TerminalApp *app); +TerminalWindow *terminal_app_get_current_window (TerminalApp *app, + GdkScreen *screen, + int curr_workspace); void terminal_app_manage_profiles (TerminalApp *app, GtkWindow *transient_parent); -- cgit v1.2.1