|
|
06c90197da
|
product editor: update diagnostics view
|
2022-11-05 11:57:06 +01:00 |
|
|
|
b2f437d7df
|
add diagnostics; contanis some bugs
|
2022-11-05 11:57:06 +01:00 |
|
|
|
096e343f25
|
improve colors
|
2022-11-05 11:57:06 +01:00 |
|
|
|
21f7043ef0
|
product editor: fix background color highlighting
introduce update_segment() to simplify updating of meta information of segments
|
2022-11-05 11:57:06 +01:00 |
|
|
|
4e02b41a77
|
shell: first commander prototype
|
2022-11-05 11:56:56 +01:00 |
|
|
|
5fef75e24f
|
listeditor cleanup
|
2022-06-19 23:13:21 +02:00 |
|
