diff --git a/_web_server/server/index.html b/_web_server/server/index.html index 12e7d3f..7c867a9 100644 --- a/_web_server/server/index.html +++ b/_web_server/server/index.html @@ -119,6 +119,11 @@ width: 50%; height: 100%; } + + #logdiv pre { + position: absolute; + height: 100%; + } } diff --git a/_web_server/server/playground-server.scm b/_web_server/server/playground-server.scm index a4700d7..4c8c85f 100755 --- a/_web_server/server/playground-server.scm +++ b/_web_server/server/playground-server.scm @@ -744,12 +744,22 @@ ;;; ;;; Make log HTML ;;; -(define (make-log-html log vcd canvas-width) +(define* (make-log-html log vcd canvas-width #:key + (minimum-sample-width 10) + (maximum-canvas-width 20000)) (if vcd - (format "~a
\n
~a
\n" - (string-concatenate - (vcd->svg vcd canvas-width)) - log) + (let ((need-width + (* minimum-sample-width + (length (vcd-timestamps vcd))))) + (format "~a
\n
~a
\n" + (string-concatenate + (vcd->svg vcd + (if (< need-width canvas-width) + canvas-width + (if (> need-width maximum-canvas-width) + maximum-canvas-width + need-width)))) + log)) (format "
~a
\n" log))) ;;;