| Index: third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| index 1716db34d41bd55e771ab27ada4e370bc48bdf3c..7ed0015fa6ae1e47a176f786a3e5806b1d065598 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TextEditor.js
|
| @@ -87,7 +87,7 @@ WebInspector.TextEditor.Options;
|
| /**
|
| * @typedef {{
|
| * substituteRangeCallback: ((function(number, number):?WebInspector.TextRange)|undefined),
|
| - * suggestionsCallback: ((function(!WebInspector.TextRange, !WebInspector.TextRange):?Promise.<!WebInspector.SuggestBox.Suggestions>)|undefined),
|
| + * suggestionsCallback: ((function(!WebInspector.TextRange, !WebInspector.TextRange, boolean=):?Promise.<!WebInspector.SuggestBox.Suggestions>)|undefined),
|
| * isWordChar: ((function(string):boolean)|undefined),
|
| * captureEnter: (boolean|undefined)
|
| * }}
|
|
|