jordy 2b93407e64 fix file capitalization		2023-05-01 09:46:14 +02:00
..
DragDropManager.js	fix bugs in drag/drop, move styling for functions to separate sheets	2023-04-30 13:38:30 +02:00
horizontalScroll.js	further refactor js	2023-04-29 12:43:12 +02:00
ImageHighlighter.js	fix file capitalization	2023-05-01 09:46:14 +02:00
PdfActionsManager.js	fix bugs in drag/drop, move styling for functions to separate sheets	2023-04-30 13:38:30 +02:00
PdfContainer.js	fix file capitalization	2023-05-01 09:46:14 +02:00