new gui_transcription is able to deal both with addSpan and hi with @spanTo
Description
Description
Details
Details
- Committed
steinech May 10 2023, 11:18 - Pushed
steinech May 10 2023, 11:19 - Parents
- rTOPOTEI1440a0766dbe: dealing with hi over several lines
- Branches
- Unknown
- Tags