Skip to content
GitLab
Explore
Sign in
Register
kotahi
Kotahi
Merge requests
!1064
Resolve "PagedJS CSS editor."
Code
Review changes
Check out branch
Download
Patches
Plain diff
Giannis Kopanas
requested to merge
1440-pagedjs-css-editor
into
main
Nov 27, 2023
Overview
0
Commits
26
Pipelines
1
Changes
27
Expand
Closes
#1440 (closed)
CodeMirror: Ui fixes regarding resizing and setting maxWidth.
Fixing caching when export the pdf
Fixing the copy command to point to the correct variable.
Merge request reports