Laurenz 36490f7f7b Make text and space nodes unselectable

2022-11-26 15:09:03 +01:00

..

base

New block spacing model

2022-11-09 18:20:02 +01:00

benches

Rename margins to margin

2022-11-19 23:33:33 +01:00

code

Don't display functions

2022-11-21 17:11:40 +01:00

graphics

Rename margins to margin

2022-11-19 23:33:33 +01:00

layout

Rename margins to margin

2022-11-19 23:33:33 +01:00

structure

Extract numbering pattern from list node

2022-11-26 12:51:15 +01:00

style

Make text and space nodes unselectable

2022-11-26 15:09:03 +01:00

text

Show with set

2022-11-21 17:12:16 +01:00

coma.typ

Rename margins to margin

2022-11-19 23:33:33 +01:00

empty.typ

Reorganize tests 🔀

2021-02-20 23:34:33 +01:00