Manfred Brandl 97650f10f1 Add Edit Menu to Help, corr

2020-07-22 15:51:25 +02:00

..

area.js

Update doubletap icon

2020-07-13 14:33:49 -04:00

building.js

Update doubletap icon

2020-07-13 14:33:49 -04:00

helper.js

Add Edit Menu to Help, corr

2020-07-22 15:51:25 +02:00

index.js

Rename all the things to include pseudonamespaces

2016-10-04 19:06:20 -04:00

intro.js

Fix lint warnings

2020-05-08 09:42:02 -07:00

line.js

Update doubletap icon

2020-07-13 14:33:49 -04:00

navigation.js

Reduce redundant strings in the walkthrough

2020-07-10 15:24:01 -04:00

point.js

Update doubletap icon

2020-07-13 14:33:49 -04:00

start_editing.js

Use the same string replacements for the walkthrough as the help docs

2020-07-10 12:18:46 -04:00

welcome.js

Use the same string replacements for the walkthrough as the help docs

2020-07-10 12:18:46 -04:00