Explorer UI - removed todo and small fixes

Signed-off-by: Thomas Fries <thomas.fries0@gmail.com>
eclipse-ditto · Jul 4, 2022 · 4fc1385 · 4fc1385
1 parent fe9dc0e
commit 4fc1385
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/ui/modules/environments/environments.html b/ui/modules/environments/environments.html
@@ -12,7 +12,7 @@
   -->
 <h5>Environments</h5>
 <hr />
-<div class="row resizable_pane" style="height:300px">
+<div class="row resizable_pane" style="height:600px">
     <div class="col-md-4 resizable_flex_column">
         <div class="input-group input-group-sm mb-1 mt-1">
             <label class="input-group-text">Name</label>

diff --git a/ui/modules/environments/environments.js b/ui/modules/environments/environments.js
@@ -134,7 +134,6 @@ function updateEnvSelector() {
 
   dom.environmentSelector.innerHTML = '';
   Object.keys(environments).forEach((key) => {
-    // todo: replace with Utils.addDropDownEntries(dom.environmentSelector, [key]);
     let option = document.createElement('option');
     option.text = key;
     dom.environmentSelector.add(option);

diff --git a/ui/modules/things/things.js b/ui/modules/things/things.js
@@ -281,7 +281,7 @@ function togglePinnedThing(evt) {
       Environments.current().pinnedThings.splice(index, 1);
     };
   };
-  environmentsJsonChanged();
+  Environments.environmentsJsonChanged();
 };