Ida.settings["Ida.lang.defaultLanguage"] = Ida.arguments.lang || "de";
Ida.settings["Ida.lang.languages"] = "de";
Ida.settings["app.size"] = "1016px,690px";
Ida.settings["extensions"] = "dynnav.js,evaluator.js";
Ida.settings["app.withExplanations"] = true;
Ida.settings["Ida.runtime.showCssErrors"] = false;
Ida.settings["Ida.runtime.showErrorReport"] = false;