Federico Terzi
|
1c955fb74f
|
fix(misc): fix clippy warnings
|
2022-08-24 20:29:26 +02:00 |
|
Federico Terzi
|
70bff10fd5
|
fix(engine): prevent events from stacking up when the search bar is open. Fix #781
|
2021-10-16 11:19:26 +02:00 |
|
Federico Terzi
|
8fe508bf93
|
style(engine): fix formatting
|
2021-10-06 18:38:02 +02:00 |
|
Federico Terzi
|
6726436674
|
feat(engine): refactor match detected event to support configurable hint
|
2021-08-24 19:54:02 +02:00 |
|
Federico Terzi
|
fb45f92b69
|
feat(engine): implement undo feature
|
2021-08-15 11:10:13 +02:00 |
|
Federico Terzi
|
974e405b23
|
feat(engine): move engine into separate module
|
2021-08-14 11:07:43 +02:00 |
|