Merge branch 'pr-empty-autocomplete'

2026-11-14 06:03:45 +01:00 · 2016-07-27 08:42:24 +01:00
parent acd95b6215 72c9c3f020
commit 1a8c86ab6b
1 changed files with 2 additions and 0 deletions
@@ -134,6 +134,8 @@ define [
 						editor.completer.showPopup(editor)
 						editor.completer.cancelContextMenu()
 						$(editor.completer.popup?.container).css({'font-size': @$scope.fontSize + 'px'})
+						if editor.completer?.completions?.filtered?.length == 0
+							editor.completer.detach()
 					bindKey: "Ctrl-Space|Ctrl-Shift-Space|Alt-Space"
 				}