working...
New File
New Folder
Upload File(s)
Paste
Open
Copy
Duplicate
Delete
Rename
View Webpage
Download
Properties
File
Edit
Settings
Help
New File...
New Folder...
Open...
Save
Save As...
Live Preview
Download
Copy
Paste
Delete
Duplicate
Rename
Upload...
Zip
Properties...
Print...
Fullscreen toggle
Undo
Redo
Indent more
Indent less
Autocomplete
Comment/Uncomment
Jump to Definition
General
Style
Accounts
Security
Plugins
Tutorial
Usage
Tips & Tricks
Manual
Shortcuts
Search for selected
ICEcoder website
+
^$
Find
in
and
replace
replace all
with
in
this document
open documents
all files
all filenames
Go to Line
Output
via ICEcoder.output(message);
To provide git diff data to ICEcoder, please run...
sudo nohup php server/run-tasks.php > data/nohup.log 2>&1 &
...to run as a background process