17 Commits

Author	SHA1	Message	Date
Laurenz	2c13ff9bfe	Make render background color configurable	2023-03-09 13:07:36 +01:00
Laurenz	7597b99789	New default style	2023-02-25 20:04:30 +01:00
Laurenz	ec05ed7e06	Move assets	2023-01-31 15:05:42 +01:00
Laurenz	43ef60c09c	Tracing-based expression tooltips	2023-01-27 12:05:12 +01:00
Laurenz	40561e57fb	Remove most fields from SyntaxKind enum	2023-01-15 12:40:27 +01:00
Laurenz	ab03f32240	Reorganize syntax module	2023-01-14 12:34:17 +01:00
Laurenz	29b31c4a5a	New import syntax	2023-01-03 12:32:17 +01:00
Laurenz	4c73456fc1	Move highlighting into new IDE module	2022-12-14 10:02:19 +01:00
Laurenz	0efe669278	Reorganize library and tests	2022-11-29 14:18:13 +01:00
Laurenz	6bafc63910	Document metadata	2022-11-26 23:52:01 +01:00
Laurenz	96f72eee6c	Separate typesetting and compilation	2022-11-24 17:51:07 +01:00
Laurenz	5ae81971f2	Introduce Library	2022-11-23 16:07:54 +01:00
Laurenz	b2a3d3f235	More general evaluation interface	2022-11-23 12:00:06 +01:00
Laurenz	321121c6c3	Move font folder	2022-11-20 18:14:13 +01:00
Laurenz	eb951c008b	Style changes	2022-11-04 11:38:09 +01:00
Laurenz	33928a00dc	Tidy up library	2022-11-03 16:50:26 +01:00
Laurenz	46921a8c28	Separate test crate ... This removes the not-really-cyclic dependency that confuses rust-analyzer. See also: https://github.com/rust-lang/rust-analyzer/issues/2414	2022-11-03 16:13:35 +01:00