Merge pull request #119 from RndmNmbr/patch-1

Update ui_widget.hpp
This commit is contained in:
Jared Boone 2018-02-03 11:16:23 -08:00 committed by GitHub
commit 2121d1ef5c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,6 +32,7 @@
#include <memory> #include <memory>
#include <vector> #include <vector>
#include <string> #include <string>
#include <functional>
namespace ui { namespace ui {