var description = Pango.FontDescription.from_string("monospace");
description.set_size(8000);
+
this.el.override_font(description);
+
+ try {
+ this.el.completion.add_provider(new Palete.CompletionProvider(_this));
+ } catch (GLib.Error e) {}
-
- this.el.completion.add_provider(new Palete.CompletionProvider(_this));
this.el.completion.unblock_interactive();
this.el.completion.select_on_show = true; // select
this.el.completion.show_headers = false;
// assume it's gtk...
this.check_running = true;
-
+
if (!_this.window.windowstate.valasource.checkPlainFileSpawn(
_this.file,
str
this.check_running = false;
print("calling validate javascript\n");
return this.highlightErrors(p.validateJavascript(
+ _this.window.windowstate,
str,
_this.key,
_this.ptype,