diff options
| author | tassaron | 2017-06-24 19:54:09 -0400 |
|---|---|---|
| committer | tassaron | 2017-06-24 19:54:09 -0400 |
| commit | 4d955c5a06d8d77c968f594a85b71b516919bcfb (patch) | |
| tree | bd4497b3332f758da373393bfb58178f536b1b09 /src/main.py | |
| parent | 83d55593d005cd540b042b27e6141a3d506d4215 (diff) | |
| parent | 68ac0cf755c6c3dbcef4abbb934cd1ead2d713c5 (diff) | |
merged with feature-newgui
Diffstat (limited to 'src/main.py')
| -rw-r--r-- | src/main.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/main.py b/src/main.py index 58fdb46..a8dd562 100644 --- a/src/main.py +++ b/src/main.py @@ -76,7 +76,10 @@ if __name__ == "__main__": topMargin = 0 if (dpi == 96) else int(10 * (dpi / 96)) window.resize( - window.width() * (dpi / 96), window.height() * (dpi / 96)) + window.width() * + (dpi / 96), window.height() * + (dpi / 96) + ) # window.verticalLayout_2.setContentsMargins(0, topMargin, 0, 0) main = MainWindow(window, proj) |