| commit | e1c27f691fbb530c378360a1a4caab4cf25297e4 | [log] [tgz] |
|---|---|---|
| author | Akron <nils@diewald-online.de> | Fri Jul 20 11:42:59 2018 +0200 |
| committer | Akron <nils@diewald-online.de> | Fri Jul 20 11:42:59 2018 +0200 |
| tree | 5b049bd4ae6168ce4f901e056db252ebe670d800 | |
| parent | 94477f63d6f46cd159ea9a971689956b1a173152 [diff] [blame] |
Adopt panel system for plugins Change-Id: I54f520382fb4a26c05ccb2cf0cd3cb48737933ac
diff --git a/dev/js/src/init.js b/dev/js/src/init.js index 54dc713..5d19cbd 100644 --- a/dev/js/src/init.js +++ b/dev/js/src/init.js
@@ -259,7 +259,7 @@ // There is more than 0 matches and there is a resultButton if (i > 0) { - if (resultPanel !== null) { + if (resultPanel) { /** * Toggle the alignment (left <=> right) */