3 Commits

Author	SHA1	Message	Date
Laurenz	bbb9ed07ff	Better line spacing calculations ↕ ... - Only add line spacing between lines. Previously, line spacing was added below every line, making `#box[word]` higher than just `word`. - Compute box height of text as `ascender - descender` so that the full word is contained in the box.	2021-03-10 10:20:01 +01:00
Laurenz	1cfc3c72b5	Show name of user-defined functions in representation 🦋	2021-03-03 18:15:33 +01:00
Laurenz	05727bfc3a	Reorganize tests 🔀	2021-02-20 23:34:33 +01:00