editor: hotkeys added

This commit is contained in:
muerwre 2018-12-10 11:29:26 +07:00
parent d95f51bd3b
commit 25ae7f8282
9 changed files with 48 additions and 17 deletions

View file

@ -328,13 +328,6 @@ export class Editor {
provider: this.provider,
});
// setProvider = provider => {
// if (provider === this.provider) return;
//
// this.provider = provider;
// this.map.setProvider(provider);
// };
setProvider = provider => store.dispatch(setProvider(provider));
get isEmpty() {