|
@@ -44,7 +44,10 @@ String function get_filename(name : String):
|
|
return list_pop_final(string_split(name, "/"))!
|
|
return list_pop_final(string_split(name, "/"))!
|
|
|
|
|
|
String function full_name(model_id : String):
|
|
String function full_name(model_id : String):
|
|
- return read_attribute(core, model_id, "name")!
|
|
|
|
|
|
+ if (dict_in(core["model"], model_id)):
|
|
|
|
+ return read_attribute(core, model_id, "name")!
|
|
|
|
+ else:
|
|
|
|
+ return read_root()!
|
|
|
|
|
|
Void function initialize_core():
|
|
Void function initialize_core():
|
|
// TODO make this more flexible by putting it in the bootstrap in a similar way as other models
|
|
// TODO make this more flexible by putting it in the bootstrap in a similar way as other models
|