diff options
author | Norbert Preining <norbert@preining.info> | 2019-11-07 03:01:39 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-11-07 03:01:39 +0000 |
commit | 2e1d63b8ed8c6b7c6d206bfe9e2712797108e8bd (patch) | |
tree | 7ea198b043998590117b2730e9dec10327ef3da3 /graphics/asymptote/GUI/xasy.py | |
parent | 590fd8b560523cdaea19c59aea61e781138e87f8 (diff) |
CTAN sync 201911070301
Diffstat (limited to 'graphics/asymptote/GUI/xasy.py')
-rwxr-xr-x | graphics/asymptote/GUI/xasy.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/graphics/asymptote/GUI/xasy.py b/graphics/asymptote/GUI/xasy.py index 7e38f73a2a..7a8ee9b2f7 100755 --- a/graphics/asymptote/GUI/xasy.py +++ b/graphics/asymptote/GUI/xasy.py @@ -1,12 +1,15 @@ #!/usr/bin/env python3 -import sys +import sys,signal,os import PyQt5.QtWidgets as Qw +import PyQt5.QtCore as Qc from Window1 import MainWindow1 - def main(args): + Qw.QApplication.setAttribute(Qc.Qt.AA_UseHighDpiPixmaps,True) + Qw.QApplication.setAttribute(Qc.Qt.AA_EnableHighDpiScaling,True) qtApp = Qw.QApplication(args) + signal.signal(signal.SIGINT,signal.SIG_DFL) mainWin1 = MainWindow1() mainWin1.show() return qtApp.exec_() |