return true;
- }
- public void showPlainFile (string fname)
- {
- this.ptype = "";
- this.key = "";
- this.node = null;
- this.file = null;
- this.fname = fname;
- string str;
- try {
- GLib.FileUtils.get_contents(fname, out str);
- } catch (Error e) {
- str = ""; // a tad dangerios... - perhaps we should block editing...
- }
-
- this.view.load(str);
- this.key_edit.el.text = "";
-
}
public void show (JsRender.JsRender file, JsRender.Node node, string ptype, string key)
{
val = node.props.get(key);
}
this.view.load(val);
- this.key_edit.el.text = key;
+
} else {
this.view.load( file.toSource() );
- }
+ }
+ this.key_edit.el.text = key;