2022-07-22 | Radek Czajka | Metadata editing: auto-add record and more suggestions. | blob | commitdiff | raw |
2022-07-18 | Radek Czajka | Use meta types in editor. | blob | commitdiff | raw | diff to current |
2022-07-07 | Radek Czajka | Metadata editor | blob | commitdiff | raw | diff to current |
2021-08-23 | Radek Czajka | Add language tags definition, caret and bubbles in... | blob | commitdiff | raw | diff to current |