Pierre GIRAUD 5b89003101 Remember the chosen custom background when set by url

2017-07-20 09:35:30 +02:00

..

background_source.js

Use single Custom backround source, and add template() accessor

2017-07-10 23:25:40 -04:00

background.js

Remember the chosen custom background when set by url

2017-07-20 09:35:30 +02:00

features.js

Eliminate some more unnecessary lodash in hot code

2016-10-30 22:39:32 -04:00

index.js

Rename all the things to include pseudonamespaces

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

map.js

Undo/Redo handler shouldn't switch modes unless already in browse/select

2017-05-03 16:07:16 -04:00

tile_layer.js

Rename infobox to info-panels

2017-07-04 02:14:30 -04:00