Ansis Brammanis e8e6d67589 switch out of intro when showing "start editing" ...

so that the user is not stuck in the walkthrough
if he clicks on the shaded area to close the modal

2013-04-25 18:55:33 -04:00

..

area.js

fix selecting search in walkthrough

2013-03-29 00:15:21 -04:00

line.js

fix id in intro, fixes #1323

2013-04-17 18:14:22 -04:00

navigation.js

avoid walkthrough inception

2013-04-01 10:37:38 -04:00

point.js

fix selecting search in walkthrough

2013-03-29 00:15:21 -04:00

start_editing.js

switch out of intro when showing "start editing"

2013-04-25 18:55:33 -04:00