{
string[] avail_files = {
"roodata.json",
+ "flutter_tree.json",
"*",
"Editors/*.js",
"vapi/*"
if (target == "roodata.json") {
src = "https://raw.githubusercontent.com/roojs/roojs1/master/docs/json/roodata.json";
- //src = "http://git.roojs.org/?p=roojs1;a=blob_plain;f=docs/json/roodata.json";
}
+ if (target == "flutter_tree.json") {
+ src = "https://raw.githubusercontent.com/roojs/flutter-docs-json/master/tree.json";
+ }
+
if (target.contains("*")) {
var split = target.split("*");