Merge pull request #1237 from bradymiller/zbig01-changes-ui_1
commit0f262ecacf2e25d871456c0170054e1271494170
authorBrady Miller <brady.g.miller@gmail.com>
Sat, 18 Nov 2017 21:01:59 +0000 (18 13:01 -0800)
committerGitHub <noreply@github.com>
Sat, 18 Nov 2017 21:01:59 +0000 (18 13:01 -0800)
tree256e075b31d878ac6b84df8736bc354ac82d9c14
parent76938afd896f8232fef3a6a4acbcd77ff1a2a0c1
parent69809515837418eac4c01967c61a319b0fdbf1a4
Merge pull request #1237 from bradymiller/zbig01-changes-ui_1

several user interface improvements