8704:e4042abf2a5b | 8705:327e596607f8 |
---|---|
420 logging.shutdown() | 420 logging.shutdown() |
421 sys.exit(res) | 421 sys.exit(res) |
422 | 422 |
423 if __name__ == '__main__': | 423 if __name__ == '__main__': |
424 main() | 424 main() |
425 | |
426 # | |
427 # Generic TODOs: | |
428 # | |
429 # TODO: add an embedded help viewer based on QWebEngineView/QTextBrowser (right side) |