prefs.onChange("args", function () {
        $outline.find("ul").toggleClass("outline-hide-args", !prefs.get("args"));
    });