1<?php 2/** 3 * PyCode plugin: it embeds a Python script hosted in a remote repository. 4 * 5 * default.php: it defines the default settings setting up in 6 * the Configuration Manager. 7 * 8 * @author Torpedo <dgtorpedo@gmail.com> 9 * @license GPL 2 (http://www.gnu.org/licenses/gpl.html) 10 * @package default_settings 11 */ 12 13$conf["btns"] = 1; // for default shortcut buttons are shown in the toolbar 14$conf["cache"] = 1; // for default the page is not cached 15$conf["nums"] = 0; // for default the line numbers are not shown 16$conf["title"] = "none"; // for default the title is not shown 17$conf["docstr"] = 0; // for default the docstring is not shown 18