| .. |
|
components
|
Add support for wavy connection lines [#24]
|
2017-11-12 14:16:24 +00:00 |
|
themes
|
Add support for wavy connection lines [#24]
|
2017-11-12 14:16:24 +00:00 |
|
CodeMirrorHints.js
|
Tidy up chunky theme, add theme name autocomplete [#17]
|
2017-11-06 21:46:40 +00:00 |
|
CodeMirrorMode.js
|
Add fade headers to library items to make the relevant feature more obvious
|
2017-11-12 14:53:17 +00:00 |
|
Generator.js
|
Add fade headers to library items to make the relevant feature more obvious
|
2017-11-12 14:53:17 +00:00 |
|
Generator_spec.js
|
Add fade headers to library items to make the relevant feature more obvious
|
2017-11-12 14:53:17 +00:00 |
|
LabelPatternParser.js
|
Add label templates [#22], also Bowie is the *goblin* king... oops!
|
2017-11-12 12:23:06 +00:00 |
|
LabelPatternParser_spec.js
|
Add label templates [#22], also Bowie is the *goblin* king... oops!
|
2017-11-12 12:23:06 +00:00 |
|
Parser.js
|
Add fade headers to library items to make the relevant feature more obvious
|
2017-11-12 14:53:17 +00:00 |
|
Parser_spec.js
|
Add fade headers to library items to make the relevant feature more obvious
|
2017-11-12 14:53:17 +00:00 |
|
Renderer.js
|
Highlight elements according to cursor location [#23]
|
2017-11-12 00:25:59 +00:00 |
|
Renderer_spec.js
|
Add alternative arrow types [#20]
|
2017-11-08 22:50:41 +00:00 |
|
Tokeniser.js
|
Add support for wavy connection lines [#24]
|
2017-11-12 14:16:24 +00:00 |
|
Tokeniser_spec.js
|
Add line numbers to errors [#15]
|
2017-11-08 19:57:41 +00:00 |
|
sequence_integration_spec.js
|
Select code in editor when elements are clicked [#16]
|
2017-11-10 23:38:28 +00:00 |
a2f32593f7