Amer Almadani ec3b422ecd New file shortcut ...

As stated in issue #40; ctrl + n creates a new browser window rather than a new file. New shortcut ctlr + alt + n.

2016-08-26 14:19:18 +03:00

..

application.css

Compatibility with screen reader

2016-07-30 16:15:53 +02:00

application.js

New file shortcut

2016-08-26 14:19:18 +03:00

application.min.js

Proper

2013-01-11 10:00:35 -08:00

favicon.ico

Added a favicon

2011-11-29 20:24:53 -05:00

function-icons.png

update function icons

2012-01-22 23:41:40 -05:00

highlight.min.js

Revert "Refactor frontend"

2012-03-19 18:17:39 -04:00

hover-dropdown-tip.png

Implement redesign of key

2011-11-23 11:31:50 -05:00

index.html

Compatibility with screen reader

2016-07-30 16:15:26 +02:00

logo.png

Implement redesign of key

2011-11-23 11:31:50 -05:00

robots.txt

Added non-standard but desirable robots.txt

2011-12-16 08:18:04 -05:00

solarized_dark.css

Bugfix to solarized_dark.css

2012-12-28 16:11:21 +02:00