diff --git a/app/system/app_languages.php b/app/system/app_languages.php index b333c0400d..2a061d623f 100644 --- a/app/system/app_languages.php +++ b/app/system/app_languages.php @@ -819,28 +819,4 @@ $text['label-json']['zh-cn'] = "JSON"; $text['label-json']['ja-jp'] = "JSON"; $text['label-json']['ko-kr'] = "JSON"; -$text['label-copy_to_clipboard']['en-us'] = "Copy to Clipboard"; -$text['label-copy_to_clipboard']['en-gb'] = "Copy to Clipboard"; -$text['label-copy_to_clipboard']['ar-eg'] = ""; -$text['label-copy_to_clipboard']['de-at'] = ""; -$text['label-copy_to_clipboard']['de-ch'] = ""; -$text['label-copy_to_clipboard']['de-de'] = ""; -$text['label-copy_to_clipboard']['es-cl'] = ""; -$text['label-copy_to_clipboard']['es-mx'] = ""; -$text['label-copy_to_clipboard']['fr-ca'] = ""; -$text['label-copy_to_clipboard']['fr-fr'] = ""; -$text['label-copy_to_clipboard']['he-il'] = ""; -$text['label-copy_to_clipboard']['it-it'] = ""; -$text['label-copy_to_clipboard']['nl-nl'] = ""; -$text['label-copy_to_clipboard']['pl-pl'] = ""; -$text['label-copy_to_clipboard']['pt-br'] = ""; -$text['label-copy_to_clipboard']['pt-pt'] = ""; -$text['label-copy_to_clipboard']['ro-ro'] = ""; -$text['label-copy_to_clipboard']['ru-ru'] = ""; -$text['label-copy_to_clipboard']['sv-se'] = ""; -$text['label-copy_to_clipboard']['uk-ua'] = ""; -$text['label-copy_to_clipboard']['zh-cn'] = ""; -$text['label-copy_to_clipboard']['ja-jp'] = ""; -$text['label-copy_to_clipboard']['ko-kr'] = ""; - -?> +?> \ No newline at end of file diff --git a/app/system/resources/images/icon_file.png b/app/system/resources/images/icon_file.png new file mode 100644 index 0000000000..c8d71de0c4 Binary files /dev/null and b/app/system/resources/images/icon_file.png differ diff --git a/app/system/resources/images/icon_folder.png b/app/system/resources/images/icon_folder.png new file mode 100644 index 0000000000..7efc21fe2e Binary files /dev/null and b/app/system/resources/images/icon_folder.png differ diff --git a/app/system/resources/images/icon_gear.png b/app/system/resources/images/icon_gear.png new file mode 100644 index 0000000000..0fde59125d Binary files /dev/null and b/app/system/resources/images/icon_gear.png differ diff --git a/app/system/resources/images/icon_goto.png b/app/system/resources/images/icon_goto.png new file mode 100644 index 0000000000..89f5d28531 Binary files /dev/null and b/app/system/resources/images/icon_goto.png differ diff --git a/app/system/resources/images/icon_indenting.png b/app/system/resources/images/icon_indenting.png new file mode 100644 index 0000000000..c6d4c733f1 Binary files /dev/null and b/app/system/resources/images/icon_indenting.png differ diff --git a/app/system/resources/images/icon_invisibles.png b/app/system/resources/images/icon_invisibles.png new file mode 100644 index 0000000000..9e2973bb6e Binary files /dev/null and b/app/system/resources/images/icon_invisibles.png differ diff --git a/app/system/resources/images/icon_numbering.png b/app/system/resources/images/icon_numbering.png new file mode 100644 index 0000000000..305144c8d4 Binary files /dev/null and b/app/system/resources/images/icon_numbering.png differ diff --git a/app/system/resources/images/icon_replace.png b/app/system/resources/images/icon_replace.png new file mode 100644 index 0000000000..4b2ec21788 Binary files /dev/null and b/app/system/resources/images/icon_replace.png differ diff --git a/app/system/resources/javascript/copy_to_clipboard.js b/app/system/resources/javascript/copy_to_clipboard.js index 92f12c549f..153660b1f4 100644 --- a/app/system/resources/javascript/copy_to_clipboard.js +++ b/app/system/resources/javascript/copy_to_clipboard.js @@ -1,6 +1,6 @@ function copy_to_clipboard() { - const span_id = document.getElementById("system_information"); - const text_to_copy = span_id.innerText; + const element_id = document.getElementById("system_information"); + const text_to_copy = element_id.value; navigator.clipboard.writeText(text_to_copy) .then(function() { @@ -9,4 +9,4 @@ function copy_to_clipboard() { .catch(function(err) { console.error('Unable to copy text to clipboard', err); }); -} +} \ No newline at end of file diff --git a/app/system/system.php b/app/system/system.php index 50b7f96420..71bd52c8ee 100644 --- a/app/system/system.php +++ b/app/system/system.php @@ -17,7 +17,7 @@ The Initial Developer of the Original Code is Mark J Crane - Portions created by the Initial Developer are Copyright (C) 2008-2023 + Portions created by the Initial Developer are Copyright (C) 2008-2024 the Initial Developer. All Rights Reserved. Contributor(s): @@ -45,10 +45,87 @@ $language = new text; $text = $language->get(); +//load editor preferences/defaults + if (permission_exists("system_view_support")) { + $setting_size = !empty($_SESSION["editor"]["font_size"]["text"]) ? $_SESSION["editor"]["font_size"]["text"] : '12px'; + $setting_theme = !empty($_SESSION["editor"]["theme"]["text"]) ? $_SESSION["editor"]["theme"]["text"] : 'cobalt'; + $setting_invisibles = !empty($_SESSION["editor"]["invisibles"]["boolean"]) ? $_SESSION["editor"]["invisibles"]["boolean"] : 'false'; + $setting_indenting = !empty($_SESSION["editor"]["indent_guides"]["boolean"]) ? $_SESSION["editor"]["indent_guides"]["boolean"] : 'false'; + $setting_numbering = !empty($_SESSION["editor"]["line_numbers"]["boolean"]) ? $_SESSION["editor"]["line_numbers"]["boolean"] : 'true'; + } + //additional includes require_once "resources/header.php"; require_once 'app/system/resources/functions/system_information.php'; +//ace editor helpers + if (permission_exists("system_view_support")) { + echo ""; + echo "\n"; + + echo "\n"; + } + //Load an array of system information $system_information = system_information(); @@ -370,22 +447,129 @@ echo "

\n"; } - echo ""; - echo "\n"; - echo " \n"; - echo " \n"; - echo " \n"; - echo "\n"; - echo " \n"; - echo " \n"; - echo "\n"; - echo "
".$text['label-support']."
\n"; - echo " \n"; - echo " \n"; - echo " ". json_encode($system_information, JSON_PRETTY_PRINT)."\n"; - echo "
\n"; + if (permission_exists("system_view_support")) { + echo "\n"; + echo "\n"; + echo " \n"; + echo " \n"; + echo "\n"; + echo "\n"; + echo " \n"; + echo " \n"; + echo "\n"; + echo "
".$text['label-support']."\n"; + echo " \n"; + echo "
\n"; + echo "  \n"; + echo " \n"; + echo " \n"; + echo "
\n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo " \n"; + echo "
\n"; + echo " \n"; + echo " \n"; + $themes['Light']['chrome']= 'Chrome'; + $themes['Light']['clouds']= 'Clouds'; + $themes['Light']['crimson_editor']= 'Crimson Editor'; + $themes['Light']['dawn']= 'Dawn'; + $themes['Light']['dreamweaver']= 'Dreamweaver'; + $themes['Light']['eclipse']= 'Eclipse'; + $themes['Light']['github']= 'GitHub'; + $themes['Light']['iplastic']= 'IPlastic'; + $themes['Light']['solarized_light']= 'Solarized Light'; + $themes['Light']['textmate']= 'TextMate'; + $themes['Light']['tomorrow']= 'Tomorrow'; + $themes['Light']['xcode']= 'XCode'; + $themes['Light']['kuroir']= 'Kuroir'; + $themes['Light']['katzenmilch']= 'KatzenMilch'; + $themes['Light']['sqlserver']= 'SQL Server'; + $themes['Dark']['ambiance']= 'Ambiance'; + $themes['Dark']['chaos']= 'Chaos'; + $themes['Dark']['clouds_midnight']= 'Clouds Midnight'; + $themes['Dark']['cobalt']= 'Cobalt'; + $themes['Dark']['idle_fingers']= 'idle Fingers'; + $themes['Dark']['kr_theme']= 'krTheme'; + $themes['Dark']['merbivore']= 'Merbivore'; + $themes['Dark']['merbivore_soft']= 'Merbivore Soft'; + $themes['Dark']['mono_industrial']= 'Mono Industrial'; + $themes['Dark']['monokai']= 'Monokai'; + $themes['Dark']['pastel_on_dark']= 'Pastel on dark'; + $themes['Dark']['solarized_dark']= 'Solarized Dark'; + $themes['Dark']['terminal']= 'Terminal'; + $themes['Dark']['tomorrow_night']= 'Tomorrow Night'; + $themes['Dark']['tomorrow_night_blue']= 'Tomorrow Night Blue'; + $themes['Dark']['tomorrow_night_bright']= 'Tomorrow Night Bright'; + $themes['Dark']['tomorrow_night_eighties']= 'Tomorrow Night 80s'; + $themes['Dark']['twilight']= 'Twilight'; + $themes['Dark']['vibrant_ink']= 'Vibrant Ink'; + echo " \n"; + echo "
\n"; + + echo "
\n"; + + echo "\n"; + echo "\n"; + } //include the footer require_once "resources/footer.php"; -?> +?> \ No newline at end of file diff --git a/resources/app_languages.php b/resources/app_languages.php index cb327acbaa..973db45168 100644 --- a/resources/app_languages.php +++ b/resources/app_languages.php @@ -260,6 +260,32 @@ $text['message-copy']['zh-cn'] = "复制完成"; $text['message-copy']['ja-jp'] = "コピーが完了しました"; $text['message-copy']['ko-kr'] = "복사 완료"; +$text['message-copied_to_clipboard']['en-us'] = "Copied to Clipboard"; +$text['message-copied_to_clipboard']['en-gb'] = "Copied to Clipboard"; +$text['message-copied_to_clipboard']['ar-eg'] = "نسخ إلى الحافظة"; +$text['message-copied_to_clipboard']['de-at'] = "In die Zwischenablage kopiert"; +$text['message-copied_to_clipboard']['de-ch'] = "In die Zwischenablage kopiert"; +$text['message-copied_to_clipboard']['de-de'] = "In die Zwischenablage kopiert"; +$text['message-copied_to_clipboard']['el-gr'] = "Αντιγράφηκε στο Πρόχειρο"; +$text['message-copied_to_clipboard']['es-cl'] = "Copiado al portapapeles"; +$text['message-copied_to_clipboard']['es-mx'] = "Copiado al portapapeles"; +$text['message-copied_to_clipboard']['fr-ca'] = "Copié dans le presse-papier"; +$text['message-copied_to_clipboard']['fr-fr'] = "Copié dans le presse-papier"; +$text['message-copied_to_clipboard']['he-il'] = "הועתק ללוח"; +$text['message-copied_to_clipboard']['it-it'] = "Copiato negli Appunti"; +$text['message-copied_to_clipboard']['nl-nl'] = "Gekopieerd naar het klembord"; +$text['message-copied_to_clipboard']['pl-pl'] = "Skopiowane do schowka"; +$text['message-copied_to_clipboard']['pt-br'] = "Copiado para a área de transferência"; +$text['message-copied_to_clipboard']['pt-pt'] = "Copiado para a área de transferência"; +$text['message-copied_to_clipboard']['ro-ro'] = "Copiat în Clipboard"; +$text['message-copied_to_clipboard']['ru-ru'] = "Скопировано в буфер обмена"; +$text['message-copied_to_clipboard']['sv-se'] = "Kopierade till Urklipp"; +$text['message-copied_to_clipboard']['uk-ua'] = "Скопійовано в буфер обміну"; +$text['message-copied_to_clipboard']['tr-tr'] = "Panoya kopyalandı"; +$text['message-copied_to_clipboard']['zh-cn'] = "已复制到剪贴板"; +$text['message-copied_to_clipboard']['ja-jp'] = "クリップボードにコピーされました"; +$text['message-copied_to_clipboard']['ko-kr'] = "클립보드에 복사됨"; + $text['message-toggle']['en-us'] = "Toggle Completed"; $text['message-toggle']['en-gb'] = "Toggle Completed"; $text['message-toggle']['ar-eg'] = "الانتهاء من تبديل";