diff options
| author | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2014-04-08 23:37:38 +0400 |
|---|---|---|
| committer | Marius Ungureanu <marius.ungureanu@xamarin.com> | 2014-04-08 23:37:55 +0400 |
| commit | 7be4c709f86991401ddcdc9eb70922a2d6afb66e (patch) | |
| tree | 7cc8258e5b49405a3417da118abd50a79675b1ec /main/src/addins/GnomePlatform | |
| parent | 6869fab48040fa7cf70d9b7bee75cd4766767bde (diff) | |
Fix Linux build.
Diffstat (limited to 'main/src/addins/GnomePlatform')
| -rw-r--r-- | main/src/addins/GnomePlatform/GnomePlatform.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/main/src/addins/GnomePlatform/GnomePlatform.cs b/main/src/addins/GnomePlatform/GnomePlatform.cs index 1846e19bd4..beb5f8e4c0 100644 --- a/main/src/addins/GnomePlatform/GnomePlatform.cs +++ b/main/src/addins/GnomePlatform/GnomePlatform.cs @@ -386,8 +386,8 @@ namespace MonoDevelop.Platform return true; } } - - public override void OpenInTerminal (FilePath directory) + + public override void OpenTerminal (FilePath directory, IDictionary<string, string> environmentVariables, string title) { ProbeTerminal (); Runtime.ProcessService.StartProcess (terminal_command, openDirectoryRunner(directory), directory, null); |