David Evans
|
a5f32d34d8
|
Large refactoring to unpick direct DOM access [#32]
|
2018-04-15 12:52:42 +01:00 |
|
David Evans
|
3d89dc3548
|
Significantly reduce reflows for faster page loads
|
2018-02-17 16:15:36 +00:00 |
|
David Evans
|
ab3d67f313
|
Reduce number of forced reflows when rendering
|
2018-02-08 23:13:19 +00:00 |
|
David Evans
|
b34b6ca0ae
|
Fix dividers not masking elements [#44]
|
2018-02-03 14:37:24 +00:00 |
|
David Evans
|
f6ddf9443e
|
Maintain current selection when swapping editor for CodeMirror
|
2018-01-22 19:52:18 +00:00 |
|
David Evans
|
0f22dc7f94
|
Refactor to enable formatted text everywhere, and make 'agent' dichotomy in generator clearer through naming [#29]
|
2018-01-14 23:10:48 +00:00 |
|
David Evans
|
c1d604aacc
|
Add library for resizing panes in editor [#28]
|
2017-12-01 17:19:21 +00:00 |
|
David Evans
|
d1c810e2af
|
Add integration testing
|
2017-10-30 21:22:20 +00:00 |
|
David Evans
|
55b5232fa6
|
Add autocomplete to editor [#4]
|
2017-10-29 16:41:33 +00:00 |
|
David Evans
|
4d301adf31
|
Add syntax colouring [#4]
|
2017-10-28 22:16:44 +01:00 |
|
David Evans
|
6eb8de8160
|
Basic functionality (agents and labelled arrows)
|
2017-10-23 01:46:43 +01:00 |