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 |