github/overleaf
1
0
Fork 0
mirror of https://github.com/overleaf/overleaf.git synced 2024-11-29 05:03:33 -05:00
Code Issues Projects Releases Packages Wiki Activity

[web] Convert Ace themes to CodeMirror 6 (#6543)

Browse source 
GitOrigin-RevId: 510064f04afb65387ee9ed7d56ad91db4b7a84d3
This commit is contained in:
Alf Eaton 2022-02-04 09:22:30 +00:00 committed by Copybot
parent 9a87824b12
commit 371270c622
3 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
services/web/.gitignore vendored
View file

@ -83,3 +83,6 @@ modules/**/Makefile
# Test fixture zip # Test fixture zip
!modules/admin-panel/test/unit/src/data/track-changes-project.zip !modules/admin-panel/test/unit/src/data/track-changes-project.zip
# Ace themes for conversion
modules/source-editor/frontend/js/themes/ace/

6
services/web/package-lock.json generated
View file

@ -27186,6 +27186,12 @@
"integrity": "sha512-ZS4Bp4r/Zoeq6+NLJpP+0Zzm0pR8whtGPf1XExKLJBAczGMnSi3It14OiNCStjQjM6NU1okjQGSxgEZN8eBYKg==", "integrity": "sha512-ZS4Bp4r/Zoeq6+NLJpP+0Zzm0pR8whtGPf1XExKLJBAczGMnSi3It14OiNCStjQjM6NU1okjQGSxgEZN8eBYKg==",
"optional": true "optional": true
}, },
"mensch": {
"version": "0.3.4",
"resolved": "https://registry.npmjs.org/mensch/-/mensch-0.3.4.tgz",
"integrity": "sha512-IAeFvcOnV9V0Yk+bFhYR07O3yNina9ANIN5MoXBKYJ/RLYPurd2d0yw14MDhpr9/momp0WofT1bPUh3hkzdi/g==",
"dev": true
},
"merge-descriptors": { "merge-descriptors": {
"version": "1.0.1", "version": "1.0.1",
"resolved": "https://registry.npmjs.org/merge-descriptors/-/merge-descriptors-1.0.1.tgz", "resolved": "https://registry.npmjs.org/merge-descriptors/-/merge-descriptors-1.0.1.tgz",

2
services/web/package.json
View file

@ -35,6 +35,7 @@
"extract-translations": "i18next-scanner", "extract-translations": "i18next-scanner",
"migrations": "east", "migrations": "east",
"storybook": "start-storybook -p 6006 -s ./public", "storybook": "start-storybook -p 6006 -s ./public",
"convert-themes": "node modules/source-editor/frontend/js/themes/convert.js",
"routes": "bin/routes" "routes": "bin/routes"
}, },
"browserslist": [ "browserslist": [
@ -265,6 +266,7 @@
"less": "^3.11.1", "less": "^3.11.1",
"less-loader": "^6.0.0", "less-loader": "^6.0.0",
"less-plugin-autoprefix": "^2.0.0", "less-plugin-autoprefix": "^2.0.0",
"mensch": "^0.3.4",
"mini-css-extract-plugin": "^0.8.0", "mini-css-extract-plugin": "^0.8.0",
"mkdirp": "0.5.1", "mkdirp": "0.5.1",
"mocha": "^8.3.2", "mocha": "^8.3.2",