feat: tweak a few icons & add line editor button to side panel (#7990)

This commit is contained in:
David Luzar 2024-05-07 13:18:39 +02:00 committed by GitHub
parent f0d25e34c3
commit d1f37cc64f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
17 changed files with 687 additions and 861 deletions

View file

@ -129,7 +129,7 @@
},
"lineEditor": {
"edit": "Edit line",
"exit": "Exit line editor"
"editArrow": "Edit arrow"
},
"elementLock": {
"lock": "Lock",