chiark / gitweb /
Examine User: compact way of displaying fields.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 20:33:58 +0000 (20:33 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 20:33:58 +0000 (20:33 +0000)
commitacc9491aedce4b719c4e248baa5a3723a3d3a12e
tree8287b509db07aefad4be7265c74095e33c532710
parentc8c82a8a8b334e50950f45f9b6fc2c82a8a5cac4
Examine User: compact way of displaying fields.

This is much simpler than my previous idea of trying to modify the
HTML DOM to insert the heading at the start of the first paragraph!
src/coloured_string.rs
src/text.rs