David Evans
|
4dc77897e9
|
Basic editing capability when Javascript is disabled
|
2021-10-23 17:45:17 +01:00 |
|
David Evans
|
bc10b3cc61
|
Invert luminosity of rendered diagram when in dark mode
|
2020-04-12 13:31:45 +01:00 |
|
David Evans
|
ed1110d74f
|
Support open-in-editor URLs [#59]
|
2020-01-20 19:23:17 +00:00 |
|
David Evans
|
a73bf1ad98
|
Obey reduced motion preference
|
2020-01-20 01:36:22 +00:00 |
|
David Evans
|
5d8f9dfff3
|
Add dark theme when OS is set to dark mode
|
2020-01-20 01:26:41 +00:00 |
|
David Evans
|
9f8cd51875
|
Fix document selector styling in Safari
|
2020-01-19 23:14:07 +00:00 |
|
David Evans
|
db63f73c9e
|
Support multiple documents in tabs [#60]
|
2020-01-19 23:03:36 +00:00 |
|
David Evans
|
827bcbbe0b
|
Use local copies of code mirror plugins in dev mode
|
2018-05-10 20:33:04 +01:00 |
|
David Evans
|
44de7f27e2
|
Automatically edit library parameters when selected [#35]
|
2018-05-09 07:57:25 +01:00 |
|
David Evans
|
135f0b1e0d
|
Improve editor and library pages on iOS
|
2018-05-07 20:27:51 +01:00 |
|
David Evans
|
3e4110193a
|
Add markdown link support [#54]
|
2018-05-07 00:19:18 +01:00 |
|
David Evans
|
dcad48ec90
|
Improve printing of editor and library page [#53]
|
2018-05-05 15:04:57 +01:00 |
|
David Evans
|
044d6bd776
|
Restructure web resources to be within one folder
|
2018-05-01 19:31:52 +01:00 |