nsinnovations/fusionpbx
2
0
Fork 0
mirror of https://github.com/fusionpbx/fusionpbx.git synced 2026-01-06 11:43:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

Edit: Customize defaults with Settings, add live preview on Mode and Font Size.

Browse Source
This commit is contained in:
reliberate
2016-02-25 01:19:24 -07:00
parent ed2a209e23
commit dd07c65705
1 changed files with 104 additions and 90 deletions
Download Patch File Download Diff File Expand all files Collapse all files

194
app/edit/index.php
View File

@@ -39,18 +39,26 @@ else {
$language = new text;
$text = $language->get();
//set the directory
//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'] = 'selected'; break;
case 'provision': $mode['xml'] = 'selected'; break;
case 'php': $mode['php'] = 'selected'; break;
case 'scripts': $mode['lua'] = 'selected'; break;
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'] = 'selected';
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';
?>
<html>
@@ -64,21 +72,17 @@ else {
document.getElementById('editor_source').value = editor.getSession().getValue();
return true;
}
focus_editor();
editor.focus();
return false;
}
function preview_theme(opt) {
editor.setTheme('ace/theme/' + opt.value);
}
function toggle_option(opt) {
switch (opt) {
case 'numbering': toggle_option_do('showGutter'); break;
case 'numbering': toggle_option_do('showLineNumbers'); toggle_option_do('fadeFoldWidgets'); break;
case 'invisibles': toggle_option_do('showInvisibles'); break;
case 'indenting': toggle_option_do('displayIndentGuides'); break;
}
focus_editor();
editor.focus();
}
function toggle_option_do(opt_name) {
@@ -89,16 +93,12 @@ else {
function toggle_sidebar() {
var td_sidebar = document.getElementById('sidebar');
td_sidebar.style.display = (td_sidebar.style.display == '') ? 'none' : '';
focus_editor();
editor.focus();
}
function insert_clip(before, after) {
var selected_text = editor.session.getTextRange(editor.getSelectionRange());
editor.insert(before + selected_text + after);
focus_editor();
}
function focus_editor() {
editor.focus();
}
</script>
@@ -118,7 +118,6 @@ else {
div#editor {
box-shadow: 0 5px 15px #333;
}
</style>
</head>
<body style='padding: 0; margin: 0; overflow: hidden;'>
@@ -144,71 +143,89 @@ else {
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_replace.png' title='Show Find/Replace [Ctrl+H]' class='control' onclick="editor.execCommand('replace');"></td>
<td valign='middle' style='padding-left: 6px;'><img src='resources/images/icon_goto.png' title='Show Go To Line' class='control' onclick="editor.execCommand('gotoline');"></td>
<td valign='middle' style='padding-left: 10px;'>
<select id='mode' style='height: 23px;' onchange="editor.getSession().setMode('ace/mode/' + this.options[this.selectedIndex].value); focus_editor();">
<option value='php' <?=$mode['php']?>>PHP</option>
<option value='css'>CSS</option>
<option value='html'>HTML</option>
<option value='javascript'>JS</option>
<option value='json'>JSON</option>
<option value='ini'>Conf</option>
<option value='lua' <?=$mode['lua']?>>Lua</option>
<option value='text' <?=$mode['text']?>>Text</option>
<option value='xml' <?=$mode['xml']?>>XML</option>
<option value='sql'>SQL</option>
<select id='mode' style='height: 23px;' onchange="editor.getSession().setMode('ace/mode/' + this.options[this.selectedIndex].value); editor.focus();">
<?php
$modes['php'] = 'PHP';
$modes['css'] = 'CSS';
$modes['html'] = 'HTML';
$modes['javascript'] = 'JS';
$modes['json'] = 'JSON';
$modes['ini'] = 'Conf';
$modes['lua'] = 'Lua';
$modes['text'] = 'Text';
$modes['xml'] = 'XML';
$modes['sql'] = 'SQL';
$preview = ($setting_preview == 'true') ? "onmouseover=\"editor.getSession().setMode('ace/mode/' + this.value);\"" : null;
foreach ($modes as $value => $label) {
$selected = ($value == $mode) ? 'selected' : null;
echo "<option value='".$value."' ".$selected." ".$preview.">".$label."</option>\n";
}
?>
</select>
</td>
<td valign='middle' style='padding-left: 4px;'>
<select id='size' style='height: 23px;' onchange="document.getElementById('editor').style.fontSize = this.options[this.selectedIndex].value; focus_editor();">
<option value='9px'>9px</option>
<option value='10px'>10px</option>
<option value='11px'>11px</option>
<option value='12px' selected>12px</option>
<option value='14px'>14px</option>
<option value='16px'>16px</option>
<option value='18px'>18px</option>
<option value='20px'>20px</option>
<select id='size' style='height: 23px;' onchange="document.getElementById('editor').style.fontSize = this.options[this.selectedIndex].value; editor.focus();">
<?php
$sizes = explode(',','9px,10px,11px,12px,14px,16px,18px,20px');
$preview = ($setting_preview == 'true') ? "onmouseover=\"document.getElementById('editor').style.fontSize = this.value;\"" : null;
if (!in_array($setting_size, $sizes)) {
echo "<option value='".$setting_size."' ".$preview.">".$setting_size."</option>\n";
echo "<option value='' disabled='disabled'></option>\n";
}
foreach ($sizes as $size) {
$selected = ($size == $setting_size) ? 'selected' : null;
echo "<option value='".$size."' ".$selected." ".$preview.">".$size."</option>\n";
}
?>
</select>
</td>
<td valign='middle' style='padding-left: 4px; padding-right: 4px;'>
<select id='theme' style='height: 23px;' onchange="editor.setTheme('ace/theme/' + this.options[this.selectedIndex].value); focus_editor();">
<optgroup label="Bright">
<option value="chrome" onmouseover="preview_theme(this);">Chrome</option>
<option value="clouds" onmouseover="preview_theme(this);">Clouds</option>
<option value="crimson_editor" onmouseover="preview_theme(this);">Crimson Editor</option>
<option value="dawn" onmouseover="preview_theme(this);">Dawn</option>
<option value="dreamweaver" onmouseover="preview_theme(this);">Dreamweaver</option>
<option value="eclipse" onmouseover="preview_theme(this);">Eclipse</option>
<option value="github" onmouseover="preview_theme(this);">GitHub</option>
<option value="iplastic" onmouseover="preview_theme(this);">IPlastic</option>
<option value="solarized_light" onmouseover="preview_theme(this);">Solarized Light</option>
<option value="textmate" onmouseover="preview_theme(this);">TextMate</option>
<option value="tomorrow" onmouseover="preview_theme(this);">Tomorrow</option>
<option value="xcode" onmouseover="preview_theme(this);">XCode</option>
<option value="kuroir" onmouseover="preview_theme(this);">Kuroir</option>
<option value="katzenmilch" onmouseover="preview_theme(this);">KatzenMilch</option>
<option value="sqlserver" onmouseover="preview_theme(this);">SQL Server</option>
</optgroup>
<optgroup label="Dark">
<option value="ambiance" onmouseover="preview_theme(this);">Ambiance</option>
<option value="chaos" onmouseover="preview_theme(this);">Chaos</option>
<option value="clouds_midnight" onmouseover="preview_theme(this);">Clouds Midnight</option>
<option value="cobalt" onmouseover="preview_theme(this);" selected>Cobalt</option>
<option value="idle_fingers" onmouseover="preview_theme(this);">idle Fingers</option>
<option value="kr_theme" onmouseover="preview_theme(this);">krTheme</option>
<option value="merbivore" onmouseover="preview_theme(this);">Merbivore</option>
<option value="merbivore_soft" onmouseover="preview_theme(this);">Merbivore Soft</option>
<option value="mono_industrial" onmouseover="preview_theme(this);">Mono Industrial</option>
<option value="monokai" onmouseover="preview_theme(this);">Monokai</option>
<option value="pastel_on_dark" onmouseover="preview_theme(this);">Pastel on dark</option>
<option value="solarized_dark" onmouseover="preview_theme(this);">Solarized Dark</option>
<option value="terminal" onmouseover="preview_theme(this);">Terminal</option>
<option value="tomorrow_night" onmouseover="preview_theme(this);">Tomorrow Night</option>
<option value="tomorrow_night_blue" onmouseover="preview_theme(this);">Tomorrow Night Blue</option>
<option value="tomorrow_night_bright" onmouseover="preview_theme(this);">Tomorrow Night Bright</option>
<option value="tomorrow_night_eighties" onmouseover="preview_theme(this);">Tomorrow Night 80s</option>
<option value="twilight" onmouseover="preview_theme(this);">Twilight</option>
<option value="vibrant_ink" onmouseover="preview_theme(this);">Vibrant Ink</option>
</optgroup>
<select id='theme' style='height: 23px;' onchange="editor.setTheme('ace/theme/' + this.options[this.selectedIndex].value); editor.focus();">
<?php
$themes['Bright']['chrome']= 'Chrome';
$themes['Bright']['clouds']= 'Clouds';
$themes['Bright']['crimson_editor']= 'Crimson Editor';
$themes['Bright']['dawn']= 'Dawn';
$themes['Bright']['dreamweaver']= 'Dreamweaver';
$themes['Bright']['eclipse']= 'Eclipse';
$themes['Bright']['github']= 'GitHub';
$themes['Bright']['iplastic']= 'IPlastic';
$themes['Bright']['solarized_light']= 'Solarized Light';
$themes['Bright']['textmate']= 'TextMate';
$themes['Bright']['tomorrow']= 'Tomorrow';
$themes['Bright']['xcode']= 'XCode';
$themes['Bright']['kuroir']= 'Kuroir';
$themes['Bright']['katzenmilch']= 'KatzenMilch';
$themes['Bright']['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';
$preview = ($setting_preview == 'true') ? "onmouseover=\"editor.setTheme('ace/theme/' + this.value);\"" : null;
foreach ($themes as $optgroup => $theme) {
echo "<optgroup label='".$optgroup."'>\n";
foreach ($theme as $value => $label) {
$selected = (strtolower($label) == strtolower($setting_theme)) ? 'selected' : null;
echo "<option value='".$value."' ".$selected." ".$preview.">".$label."</option>\n";
}
echo "</optgroup>\n";
}
?>
</select>
</td>
</tr>
@@ -225,25 +242,22 @@ else {
//load ace editor
var editor = ace.edit("editor");
editor.setOptions({
<?php
foreach ($mode as $lang => $meh) {
if ($meh == 'selected') { echo "mode: 'ace/mode/".$lang."',\n"; break; }
}
?>
theme: 'ace/theme/cobalt',
mode: 'ace/mode/<?=$mode?>',
theme: 'ace/theme/'+document.getElementById('theme').options[document.getElementById('theme').selectedIndex].value,
selectionStyle: 'text',
cursorStyle: 'smooth',
showInvisibles: false,
displayIndentGuides: true,
showLineNumbers: true,
showInvisibles: <?=$setting_invisibles?>,
displayIndentGuides: <?=$setting_indenting?>,
showLineNumbers: <?=$setting_numbering?>,
showGutter: true,
scrollPastEnd: true,
fadeFoldWidgets: true,
fadeFoldWidgets: <?=$setting_numbering?>,
showPrintMargin: false,
highlightGutterLine: false,
useSoftTabs: false
});
focus_editor();
document.getElementById('editor').style.fontSize='<?=$setting_size?>';
editor.focus();
//keyboard shortcut to save file
$(window).keypress(function(event) {
@@ -264,7 +278,7 @@ else {
});
//remove certain keyboard shortcuts
editor.commands.bindKey("Ctrl-T", null);
editor.commands.bindKey("Ctrl-T", null); //new browser tab
</script>