416 logging.shutdown() |
416 logging.shutdown() |
417 sys.exit(res) |
417 sys.exit(res) |
418 |
418 |
419 if __name__ == '__main__': |
419 if __name__ == '__main__': |
420 main() |
420 main() |
|
421 |
|
422 # |
|
423 # Generic TODOs: |
|
424 # |
|
425 # TODO: reintroduce the Network Status icon |
|
426 # (i.e. revert changeset 6901746220fc, 2021-01-03) |
|
427 # TODO: convert the Jedi plugin to a fixed part of eric |
|
428 # TODO: make the sidebars more modern with big icons and colored background |
|
429 # TODO: add an embedded help viewer based on QWebEngineView (right side) |
|
430 # TODO: make VCS status an embedded view (left side) |
|
431 # TODO: add a VCS diff view in the central area (view manager) |
|
432 # TODO: add plug-in repository as embedded view (right side) |
|
433 # TODO: add virtual environment manager as embedded view (right side) |
|
434 |