diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 22:06:21 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 22:06:21 +0200 |
| commit | 8343d7a6a598c8f02d3b85b991b604095b1dae63 (patch) | |
| tree | f0713cb6fe986983d3f1cb08e7369e1acf114be0 | |
| parent | 62e052ed5af3aa6e00750bd10c0fc35fd32f0785 (diff) | |
Increase margin inside of FrameWidgets.
| -rw-r--r-- | plugingui/frame.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/frame.h b/plugingui/frame.h index c571fdc..1a07db0 100644 --- a/plugingui/frame.h +++ b/plugingui/frame.h @@ -88,7 +88,7 @@ private: // content box Widget* content{nullptr}; - std::size_t content_margin{5}; + std::size_t content_margin{12}; std::size_t content_start_x; std::size_t content_start_y; |