diff options
| author | André Nusser <andre.nusser@googlemail.com> | 2017-04-07 21:52:40 +0200 |
|---|---|---|
| committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-07 21:52:40 +0200 |
| commit | a04d1601f75ffcddf41421097ab1bcd4e27c89dd (patch) | |
| tree | 717d535d55a591a493ae3111c2d4dd317e2e2b35 /plugingui | |
| parent | 43c338928a98f6a765e95011d3808c26cc6597ce (diff) | |
Change size of plugingui window.
Diffstat (limited to 'plugingui')
| -rw-r--r-- | plugingui/testmain.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugingui/testmain.cc b/plugingui/testmain.cc index 0e948c0..5c1a100 100644 --- a/plugingui/testmain.cc +++ b/plugingui/testmain.cc @@ -53,7 +53,7 @@ int main() parent.show(); main_window.show(); - parent.resize(500, 800); + parent.resize(750, 480); while(true) { |