better menu look and feel; dynamic menu item adding; - #86
Merged
Commits
Commits on Nov 15, 2018
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


Commits on Nov 16, 2018
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


Commits on Nov 17, 2018
- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted


- authored andcommitted

