joshua ff3b497da2 Element editor : minor fix ...

In the part list widget, the terminal name is empty if terminal haven't
got name.
Now "terminal" is always displayed and if the terminal have a name the
name is appended to "terminal".
Example :
if the terminal name is 24 then the the part list widget show "terminal
: 24"

2024-02-15 22:04:11 +01:00

7.0 KiB

Raw Blame History

View Raw