Quincy Morgan e6703cb1cc Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04:00

..

area.js

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04:00

building.js

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04:00

helper.js

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04: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

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04:00

navigation.js

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -04:00

point.js

Begin making UI adapt correctly to scaled text sizes (re: #7965)

2020-09-09 16:11:46 -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