Martin Raifer 9576e95d83 change label of ui fields from raw html to a callback function ...

fixes #9159

2022-06-23 10:49:38 +02:00

..

area.js

change label of ui fields from raw html to a callback function

2022-06-23 10:49:38 +02:00

building.js

…

helper.js

…

index.js

…

intro.js

…

line.js

…

navigation.js

change label of ui fields from raw html to a callback function

2022-06-23 10:49:38 +02:00

point.js

…

start_editing.js

…

welcome.js

…