Portions created by the Initial Developer are Copyright (C) 2008-2016 the Initial Developer. All Rights Reserved. Contributor(s): Mark J Crane James Rose */ include "root.php"; require_once "resources/require.php"; require_once "resources/check_auth.php"; if (permission_exists('script_editor_view')) { //access granted } else { echo "access denied"; exit; } //add multi-lingual support $language = new text; $text = $language->get(); //set the directory title and mode $_SESSION["app"]["edit"]["dir"] = $_GET["dir"]; $title = strtoupper($_GET["dir"]); unset($mode); switch ($_GET["dir"]) { case 'xml': $mode = 'xml'; break; case 'provision': $mode = 'xml'; break; case 'php': $mode = 'php'; break; case 'scripts': $mode = 'lua'; break; case 'grammar': //use default default: $mode = 'text'; } // load editor preferences/defaults $setting_size = ($_SESSION["editor"]["font_size"]["text"] != '') ? $_SESSION["editor"]["font_size"]["text"] : '12px'; $setting_theme = ($_SESSION["editor"]["theme"]["text"] != '') ? $_SESSION["editor"]["theme"]["text"] : 'cobalt'; $setting_invisibles = ($_SESSION["editor"]["invisibles"]["boolean"] != '') ? $_SESSION["editor"]["invisibles"]["boolean"] : 'false'; $setting_indenting = ($_SESSION["editor"]["indent_guides"]["boolean"] != '') ? $_SESSION["editor"]["indent_guides"]["boolean"] : 'false'; $setting_numbering = ($_SESSION["editor"]["line_numbers"]["boolean"] != '') ? $_SESSION["editor"]["line_numbers"]["boolean"] : 'true'; $setting_preview = ($_SESSION["editor"]["live_preview"]["boolean"] != '') ? $_SESSION["editor"]["live_preview"]["boolean"] : 'true'; //get and then set the favicon if (isset($_SESSION['theme']['favicon']['text'])){ $favicon = $_SESSION['theme']['favicon']['text']; } else { $favicon = '/themes/default/favicon.ico'; } ?>

$label) { $selected = ($value == $mode) ? 'selected' : null; echo "".$label."\n"; } ?> ".$setting_size."\n"; echo "\n"; } foreach ($sizes as $size) { $selected = ($size == $setting_size) ? 'selected' : null; echo "".$size."\n"; } ?> $theme) { echo "\n"; foreach ($theme as $value => $label) { $selected = (strtolower($label) == strtolower($setting_theme)) ? 'selected' : null; echo "".$label."\n"; } echo "\n"; } ?>