07-21-2025, 05:07 PM
The just released new version of the editor is largely improved on the “bluetooth” part. Unfortunately, there is one missing bit for your example: you need to manually set a checkmark at “time” (leading to the extra="time" attribute) as it is not yet imported.
I hope that it is not to annoying for the moment as we have entered the summer break at the university so we cannot tell when we could get the next update out.…
I hope that it is not to annoying for the moment as we have entered the summer break at the university so we cannot tell when we could get the next update out.…