diff --git a/app/edit/index.php b/app/edit/index.php index 80eb11745e..1cd12b326a 100644 --- a/app/edit/index.php +++ b/app/edit/index.php @@ -59,12 +59,22 @@ else { $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/enhanced/favicon.ico'; + } + ?>
-