Quincy Morgan 35c7cbd92b Ensure that undo/redo buttons look disabled when the map is not editable (close #6105)

2019-04-04 17:34:20 -07:00

..

add_favorite.js

…

add_recent.js

…

index.js

Hide ribbon and favoriting UI for now

2019-03-27 13:12:28 -04:00

modes.js

Hide ribbon and favoriting UI for now

2019-03-27 13:12:28 -04:00

notes.js

…

save.js

…

search_add.js

…

sidebar_toggle.js

…

undo_redo.js

Ensure that undo/redo buttons look disabled when the map is not editable (close #6105)

2019-04-04 17:34:20 -07:00