changing positionInfo to webcomponent
96c1b6283ddf
Actions

Authored by steinech on May 15 2024, 18:09.

Description

changing positionInfo to webcomponent

Committed

steinech

May 15 2024, 18:09

Pushed

steinech

May 15 2024, 18:09

Parents

rTOPOTEI3c3626265880: z-index for add, addLines and notes

Branches

Unknown

Tags

Unknown

		Path
M		modules/app.xqm
M		modules/rest-api.xq
M		modules/transform.html
A		resources/scripts/commands.js
A	(dir)	resources/scripts/topo-tools/
A		resources/scripts/topo-tools/positionInfo.js
P		resources/scripts/topo-tools/toggleSwitch.js Copied from resources/scripts/toggleSwitch.js
M		resources/scripts/topoTEI.js