" ",
"var hover = this.el.get_hover();",
"hover.add_provider(new Palete.HoverProvider());",
- "hover.",
+ "",
"//this.el.completion.unblock_interactive();",
"this.el.completion.select_on_show = true; // select",
"//this.el.completion.remember_info_visibility\t = true;",
var hover = this.el.get_hover();
hover.add_provider(new Palete.HoverProvider());
- hover.
+
//this.el.completion.unblock_interactive();
this.el.completion.select_on_show = true; // select
//this.el.completion.remember_info_visibility = true;