diff options
author | Unknwon <u@gogs.io> | 2015-11-14 04:34:01 -0500 |
---|---|---|
committer | Unknwon <u@gogs.io> | 2015-11-14 04:34:01 -0500 |
commit | 7b1c10ea7eadf83706ca7e27094104749636d26a (patch) | |
tree | cbb1d0e32d4ac81f76576b5bf88eb777fa6fb9c6 /public/config.codekit | |
parent | 679af4ddeaca0748632959841867b2a56de26643 (diff) | |
download | gitea-7b1c10ea7eadf83706ca7e27094104749636d26a.tar.gz gitea-7b1c10ea7eadf83706ca7e27094104749636d26a.zip |
new repo ui
- copy link button: #1396, #1168, #1668,
- synxtax highlight: #1712, #1549, #1315, #670
- z-index: #1942
Diffstat (limited to 'public/config.codekit')
-rw-r--r-- | public/config.codekit | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/public/config.codekit b/public/config.codekit index f5d95f6d83..f57092c9ac 100644 --- a/public/config.codekit +++ b/public/config.codekit @@ -56,6 +56,15 @@ "outputPathIsOutsideProject": 0, "outputPathIsSetByUser": 0 }, + "\/css\/highlight-8.7\/github.css": { + "fileType": 16, + "ignore": 0, + "ignoreWasSetByUser": 0, + "inputAbbreviatedPath": "\/css\/highlight-8.7\/github.css", + "outputAbbreviatedPath": "No Output Path", + "outputPathIsOutsideProject": 0, + "outputPathIsSetByUser": 0 + }, "\/css\/jquery.datetimepicker-2.4.5.css": { "fileType": 16, "ignore": 0, @@ -191,7 +200,7 @@ "outputPathIsOutsideProject": 0, "outputPathIsSetByUser": 0, "outputStyle": 1, - "syntaxCheckerStyle": 1 + "syntaxCheckerStyle": 0 }, "\/js\/jquery-1.11.3.min.js": { "fileType": 64, |