Skip to content
GitLab
Explore
Sign in
Register
kotahi
Kotahi
Merge requests
!1065
Fix pagedjs ui
Code
Review changes
Check out branch
Download
Patches
Plain diff
Giannis Kopanas
requested to merge
fix-pagedjs-ui
into
main
Nov 27, 2023
Overview
5
Commits
3
Pipelines
4
Changes
8
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.
Edited
Nov 27, 2023
by
Giannis Kopanas
Merge request reports