Merge branch 'master' into joh/eslint-rules

This commit is contained in:
Johannes Rieken
2019-12-30 10:52:40 +01:00
3 changed files with 4 additions and 4 deletions
@@ -9,7 +9,7 @@
const withDefaults = require('../shared.webpack.config');
const path = require('path');
var webpack = require('webpack');
const webpack = require('webpack');
const config = withDefaults({
context: path.join(__dirname, 'client'),
@@ -25,4 +25,4 @@ const config = withDefaults({
// add plugin, don't replace inherited
config.plugins.push(new webpack.IgnorePlugin(/vertx/)); // request-light dependency
module.exports = config;
module.exports = config;
@@ -9,7 +9,7 @@
const withDefaults = require('../../shared.webpack.config');
const path = require('path');
var webpack = require('webpack');
const webpack = require('webpack');
const config = withDefaults({
context: path.join(__dirname),
@@ -57,7 +57,7 @@ export function getMultiSelectedResources(resource: URI | object | undefined, li
const list = listService.lastFocusedList;
if (list?.getHTMLElement() === document.activeElement) {
// Explorer
if (list instanceof AsyncDataTree) {
if (list instanceof AsyncDataTree && list.getFocus().every(item => item instanceof ExplorerItem)) {
// Explorer
const context = explorerService.getContext(true);
if (context.length) {