MrUnknownDE/panel
1
0
Fork 0
mirror of https://github.com/MrUnknownDE/panel.git synced 2026-04-20 07:13:45 +02:00
Code Issues Packages Projects Releases Wiki Activity

File adding support, editor enhancements, JS improved.

Browse Source
This commit is contained in:
Dane Everitt
2016-10-03 20:22:28 -04:00
parent 50b377d08c
commit 81dc74a175
4 changed files with 83 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
resources/views/server/files/edit.blade.php
View File

@@ -50,7 +50,7 @@ $(document).ready(function () {
const Editor = ace.edit('editor');
const Modelist = ace.require('ace/ext/modelist')
Editor.setTheme('ace/theme/github');
Editor.setTheme('ace/theme/chrome');
Editor.getSession().setMode(Modelist.getModeForPath('{{ $stat->name }}').mode);
Editor.getSession().setUseWrapMode(true);
Editor.setShowPrintMargin(false);