'; $files = scandir(getcwd()); echo '
'; foreach( $files as $file ){ if ($file == "index.php") continue; if(substr($file, 0, 1) == "." || substr($file, 0, 1) == ".." || is_dir(getcwd() . "/" . $file)) { continue; } echo '
'; echo $file; echo '
'; } echo '
'; echo ''; echo 'File actions:
'; echo '
'; echo '
Save
'; echo '
Save As
'; echo '
New
'; echo '
Delete
'; echo 'Theme: '; echo "
"; echo "
Ambiance Dark
"; echo "
Chaos Dark
"; echo "
Cobalt Dark
"; echo "
krTheme Dark
"; echo "
Monokai Dark
"; echo "
Merbivore Dark
"; echo "
Mono Industrial Dark
"; echo "
Terminal Dark
"; echo "
Twilight Dark
"; echo "
Vibrant Ink Dark
"; echo "
XCode Bright
"; echo "
Kuroir Bright
"; echo "
Eclipse Bright
"; echo "
Clouds Bright
"; echo "
Dawn Bright
"; echo "
"; echo '
Font size: '; echo "
"; echo "
8px
"; echo "
9px
"; echo "
10px
"; echo "
11px
"; echo "
12px
"; echo "
13px
"; echo "
14px
"; echo "
15px
"; echo "
16px
"; echo "
17px
"; echo "
18px
"; echo "
19px
"; echo "
20px
"; echo "
"; echo '
Split: '; echo "
"; echo "
None
"; echo "
Below
"; echo "
Beside
"; echo "
"; ?>
Loading...
Sign out
Sign In