Summary: 16 instances, 15 unique Text Count // TODO: We need to pass this completion info better. 1 // TODO: 2 // TODO: handle a Function - use polling (and the browser tick event?) 1 // TODO: For `html`, enable and disable the 'autoCloseTags' option. 1 // TODO: We should ensure that the Dart `CodeMirror` wrapper returns the 1 // TODO: [someCodeReference] should be converted to for example 1 // TODO: The label needs an extremely rich tooltip. 1 // TODO: For CodeMirror, we get a request each time the user hits a key when the 1 // TODO: This should likely be named contextMessages. 1 // TODO: Move to using a LabelProvider; decouple the data and rendering. 1 // TODO: test 1 // TODO: simplify this once we are firmly in a post Flutter 1.24 world. 1 // TODO: log errors 1 // TODO: Use the onClose event of the completion event to trigger this 1 // TODO: expose options 1