diff options
| author | iain holmes <iain@xamarin.com> | 2019-09-09 13:49:19 +0300 |
|---|---|---|
| committer | iain holmes <iain@xamarin.com> | 2019-09-09 13:49:19 +0300 |
| commit | 62b4cec67e22118e7622b0b0aa3604398967d572 (patch) | |
| tree | cc8eba8a7bb091f9793b1b1e304090b763883a9e /main/src/core/MonoDevelop.Ide | |
| parent | 272b369e26bebc12d9da94ff57e3746b36b0e060 (diff) | |
[IDE] Also validate if characters is empty
Diffstat (limited to 'main/src/core/MonoDevelop.Ide')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Commands/CommandManager.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Commands/CommandManager.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Commands/CommandManager.cs index 6f06c9ea41..41b0d58d87 100644 --- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Commands/CommandManager.cs +++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components.Commands/CommandManager.cs @@ -317,6 +317,11 @@ namespace MonoDevelop.Components.Commands return null; } + if (string.IsNullOrEmpty (ev.Characters)) { + LoggingService.LogInternalError (new Exception ($"Keyevent has no characters")); + return null; + } + // If we have a native window that can handle this command, let it process // the keys itself and do not go through the command manager. // Events in Gtk windows do not pass through here except when they're done |