From c913e8c26b621a558db0afe7b060fc044d16379e Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 10:48:46 +0200
Subject: [PATCH 1/7] fix margin on terminal

---
 src/app/panels/terminal.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 568be164d0..5f2b6b0dab 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -20,7 +20,6 @@ var css = csjs`
     font-family       : monospace;
     color             : black;
     background-color  : lightgrey;
-    margin-top        : auto;
     height            : 100%;
     min-height        : 1.7em;
     overflow          : hidden;

From fd433dd26c7d4aa1a4cfc6a3aa83c1114ec7cbf9 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 11:27:22 +0200
Subject: [PATCH 2/7] change terminal font / background color

---
 src/app/panels/terminal.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 5f2b6b0dab..f56ba045c0 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -18,8 +18,8 @@ var css = csjs`
     flex-direction    : column;
     font-size         : 12px;
     font-family       : monospace;
-    color             : black;
-    background-color  : lightgrey;
+    color             : #777;
+    background-color  : #ededed;
     height            : 100%;
     min-height        : 1.7em;
     overflow          : hidden;

From 550670f9f0916d494a0aa99e0468e8199f8c6d05 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 11:33:44 +0200
Subject: [PATCH 3/7] remove title + add padding

---
 src/app/panels/terminal.js | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index f56ba045c0..835e582ae3 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -37,9 +37,7 @@ var css = csjs`
     display           : flex;
     align-items       : center;
     width             : 100%;
-  }
-  .title              {
-    margin-right      : 15px;
+    padding           : 5px;
   }
   .minimize           {
     margin-left       : auto;
@@ -191,7 +189,6 @@ class Terminal {
       <div class=${css.bar}>
         ${self._view.dragbar}
         <div class=${css.menu}>
-          <div class=${css.title}>Remix Terminal</div>
           <div class=${css.clear} onclick=${clear}>
             <i class="fa fa-ban" aria-hidden="true" onmouseenter=${hover} onmouseleave=${hover}></i>
           </div>

From 75a4813978acacabf8972908858601193680eb9c Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 11:48:50 +0200
Subject: [PATCH 4/7] small css changes

---
 src/app/panels/terminal.js | 4 ++++
 src/app/ui/dropdown.js     | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 835e582ae3..0e1cd5988f 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -88,6 +88,10 @@ var css = csjs`
     outline           : none;
     font-family       : monospace;
   }
+  .filter             {
+    padding           : 3px;
+    width             : 20em;    
+  }
 
   .dragbarHorizontal  {
     position          : absolute;
diff --git a/src/app/ui/dropdown.js b/src/app/ui/dropdown.js
index 60567adf0d..f7d7292bba 100644
--- a/src/app/ui/dropdown.js
+++ b/src/app/ui/dropdown.js
@@ -13,7 +13,6 @@ var css = csjs`
     display           : flex;
     align-items       : center;
     background-color  : lightgrey;
-    border-radius     : 5px;
     margin            : 3px;
     cursor            : pointer;
   }
@@ -24,6 +23,7 @@ var css = csjs`
     white-space       : nowrap;
     text-overflow     : ellipsis;
     overflow          : hidden;
+    padding           : 3px;
   }
   .icon               {
     padding           : 0px 5px;

From 980274765fb621fa3978ca7a4f238ea476be9037 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 13:48:31 +0200
Subject: [PATCH 5/7] dropdown to accept linked value

---
 src/app/ui/dropdown.js | 27 +++++++++++++++++++++++----
 1 file changed, 23 insertions(+), 4 deletions(-)

diff --git a/src/app/ui/dropdown.js b/src/app/ui/dropdown.js
index f7d7292bba..0621027566 100644
--- a/src/app/ui/dropdown.js
+++ b/src/app/ui/dropdown.js
@@ -65,7 +65,9 @@ class Dropdown {
     self.event = new EventManager()
     self.data = {
       _options: opts.options || [],
-      selected: opts.defaults || []
+      _dependencies: opts.dependencies || [],
+      selected: opts.defaults || [],
+      _elements: []
     }
     self._view = {}
     self._api = opts.api
@@ -85,11 +87,12 @@ class Dropdown {
         ${self._view.selected}
         <div class=${css.options} style="display: none;">
           ${self.data._options.map(label => {
-            var input = yo`<input onchange=${emit} type="checkbox" />`
+            var input = yo`<input data-idx=${self.data._elements.length} onchange=${emit} type="checkbox" />`
             if (self.data.selected.indexOf(label) !== -1) {
               input.checked = true
               self.event.trigger('select', [label])
             }
+            self.data._elements.push(input)
             return yo`
               <div class=${css.option}>
                 ${input}
@@ -106,14 +109,30 @@ class Dropdown {
       var label = input.nextSibling.innerText
       if (input.checked) {
         self.data.selected.push(label)
-        self.event.trigger('select', [label])
+        if (event.type === 'change') {
+          self.event.trigger('select', [label])
+          updateDependencies(label)
+        }
       } else {
         var idx = self.data.selected.indexOf(label)
         self.data.selected.splice(idx, 1)
-        self.event.trigger('deselect', [label])
+        if (event.type === 'change') {
+          self.event.trigger('deselect', [label])
+          updateDependencies(label)
+        }
       }
       self._view.selected.children[0].innerText = `[${self.data.selected.length}] ${self.data.selected.join(', ')}`
     }
+    function updateDependencies (changed) {
+      if (self.data._dependencies[changed]) {
+        for (var dep in self.data._dependencies[changed]) {
+          var label = self.data._dependencies[changed][dep]
+          var el = self.data._elements[self.data._options.indexOf(label)]
+          el.checked = !el.checked
+          emit({currentTarget: el, type: 'changeDependencies'})
+        }
+      }
+    }
     function show (event) {
       event.stopPropagation()
       var options = event.currentTarget.children[1]

From 8eaaf35221fe199159f36b53f7d7888dd97e2230 Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 13:48:54 +0200
Subject: [PATCH 6/7] 3 options : only remix transactions / all transactions /
 script

---
 src/app/panels/terminal.js | 24 +++++++++++++++++++-----
 1 file changed, 19 insertions(+), 5 deletions(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 0e1cd5988f..3a8f84c6b2 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -136,17 +136,30 @@ class Terminal {
     self._components = {}
     self._components.dropdown = new Dropdown({
       options: [
-        'knownTransaction',
-        'unknownTransaction',
+        'only remix transactions',
+        'all transactions',
         'script'
       ],
-      defaults: ['knownTransaction', 'script']
+      defaults: ['only remix transactions', 'script'],
+      dependencies: {'all transactions': ['only remix transactions'], 'only remix transactions': ['all transactions']}
     })
     self._components.dropdown.event.register('deselect', function (label) {
-      self.updateJournal({ type: 'deselect', value: label })
+      if (label === 'only remix transactions') {
+        self.updateJournal({ type: 'select', value: 'unknownTransaction' })
+      } else if (label === 'all transactions') {
+        self.updateJournal({ type: 'deselect', value: 'unknownTransaction' })
+      } else { // script
+        self.updateJournal({ type: 'deselect', value: label })
+      }
     })
     self._components.dropdown.event.register('select', function (label) {
-      self.updateJournal({ type: 'select', value: label })
+      if (label === 'only remix transactions') {
+        self.updateJournal({ type: 'deselect', value: 'unknownTransaction' })
+      } else if (label === 'all transactions') {
+        self.updateJournal({ type: 'select', value: 'unknownTransaction' })
+      } else { // script
+        self.updateJournal({ type: 'select', value: label })
+      }
     })
     self._commands = {}
     self.commands = {}
@@ -172,6 +185,7 @@ class Terminal {
     self._jsSandbox = vm.createContext(self._jsSandboxContext)
     if (opts.shell) self._shell = opts.shell
     register(self)
+    self.updateJournal({ type: 'select', value: 'knownTransaction' })    
   }
   render () {
     var self = this

From 83aea79fa48ea18a9e5992fddf8afee68df9f2fd Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 6 Sep 2017 13:49:08 +0200
Subject: [PATCH 7/7] standard

---
 src/app/panels/terminal.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/app/panels/terminal.js b/src/app/panels/terminal.js
index 3a8f84c6b2..36b7a9360b 100644
--- a/src/app/panels/terminal.js
+++ b/src/app/panels/terminal.js
@@ -185,7 +185,7 @@ class Terminal {
     self._jsSandbox = vm.createContext(self._jsSandboxContext)
     if (opts.shell) self._shell = opts.shell
     register(self)
-    self.updateJournal({ type: 'select', value: 'knownTransaction' })    
+    self.updateJournal({ type: 'select', value: 'knownTransaction' })
   }
   render () {
     var self = this