Logo
Explore Help
Sign In
agw/overleaf-cep
1
0
Fork 0
You've already forked overleaf-cep
mirror of https://github.com/yu-i-i/overleaf-cep.git synced 2026-05-25 02:00:10 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
7d3c8fb78d8a5e027aa72e6f5274d1e76748ffdf
overleaf-cep/services/web/frontend/js/features/source-editor
History
Mathias Jakobsen 7d3c8fb78d Merge pull request #14822 from overleaf/mj-safari-table-size
[visual] Workaround for safari table size

GitOrigin-RevId: 937a606bf3b6093029e5a952c2a13a3f083ca74c
2023-09-14 08:04:08 +00:00
..
commands
[cm6] fix toggling ranges next to command (#14183)
2023-08-18 12:11:24 +00:00
components
Merge pull request #14822 from overleaf/mj-safari-table-size
2023-09-14 08:04:08 +00:00
context/review-panel
Merge pull request #14628 from overleaf/td-review-panel-scroll-jump
2023-09-06 08:06:32 +00:00
controllers
Remove Grammarly warning (#14423)
2023-08-24 08:04:02 +00:00
extensions
Merge pull request #14822 from overleaf/mj-safari-table-size
2023-09-14 08:04:08 +00:00
hooks
Merge pull request #13492 from overleaf/td-review-panel-sync-height
2023-07-17 10:39:29 +00:00
ide
Move source editor out of module (#12457)
2023-04-13 08:40:56 +00:00
languages
[cm6] Remove .extension from extension definitions (#14694)
2023-09-12 08:04:08 +00:00
lezer-bibtex
Merge pull request #13836 from overleaf/mj-bibtex-identifier
2023-07-17 11:06:22 +00:00
lezer-latex
Merge pull request #14693 from overleaf/unknown-document-environment
2023-09-12 08:04:03 +00:00
themes
Merge pull request #12677 from overleaf/ae-codemirror-view-upgrade
2023-04-21 08:02:53 +00:00
utils
Merge pull request #14712 from overleaf/mj-table-adjustbox
2023-09-08 08:04:23 +00:00
Powered by Gitea Version: 1.25.5 Page: 249ms Template: 7ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API