diff --git a/source/index.html b/source/index.html
index 3373cf0991..e9d68669bb 100644
--- a/source/index.html
+++ b/source/index.html
@@ -210,7 +210,7 @@
.sidebar-item-value-line-content { white-space: pre; word-wrap: normal; overflow: auto; display: block; }
.sidebar-item-value-expander { font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, Courier, monospace; float: right; color: #aaa; cursor: pointer; user-select: none; -webkit-user-select: none; -moz-user-select: none; padding: 4px 6px 4px 4px; }
.sidebar-item-value-expander:hover { color: #333; }
-.sidebar-item-value-button { font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, Courier, monospace; float: right; color: #aaa; cursor: pointer; user-select: none; -webkit-user-select: none; -moz-user-select: none; padding: 0 0 0 3px; }
+.sidebar-item-value-button { font-family: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, Courier, monospace; float: right; color: #aaa; cursor: pointer; user-select: none; -webkit-user-select: none; -moz-user-select: none; padding: 0 3px 0 3px; }
.sidebar-item-value-button svg use { fill: #aaa; stroke: #aaa; }
.sidebar-item-value-button:hover svg use { fill: #333; stroke: #333; }
.sidebar-item-select {
diff --git a/source/view.js b/source/view.js
index 37cfad3feb..30a66d780b 100644
--- a/source/view.js
+++ b/source/view.js
@@ -3177,7 +3177,7 @@ view.NodeView = class extends view.Control {
element.innerHTML = ``;
element.addEventListener('pointerenter', () => this.emit('focus', this._node));
element.addEventListener('pointerleave', () => this.emit('blur', this._node));
- element.addEventListener('click', () => this.emit('select', this._node));
+ element.addEventListener('click', () => this.emit('activate', this._node));
element.style.cursor = 'pointer';
this._element.appendChild(element);
} else {
@@ -3609,9 +3609,11 @@ view.FindSidebar = class extends view.Control {
}
_term(value) {
- return this._exact ?
- value === this._terms[0] :
- this._terms.every((term) => value && value.toLowerCase().indexOf(term) !== -1);
+ if (this._exact) {
+ return value === this._terms[0];
+ }
+ value = value.toLowerCase();
+ return this._terms.every((term) => value.indexOf(term) !== -1);
}
_value(value) {