eric: Examples/hallo.py@2d2dd2c638e8 (annotated)

Examples/hallo.py@2d2dd2c638e8 (annotated)

Examples/hallo.py

Fri, 02 Aug 2024 14:35:21 +0200

author: Detlev Offenbach <detlev@die-offenbachs.de>
date: Fri, 02 Aug 2024 14:35:21 +0200
branch: eric7
changeset 10880: 2d2dd2c638e8
parent 12: 1d8dd9706f46
permissions: -rw-r--r--

Changed the logic to setup the initial size of the editor outline widget. Somehow the width of the splitter did not get set correctly in certain situations (see issue 567).

 #!/usr/bin/env python
 import sys
 def main():
     print("Hello World!")
     sys.exit(0)
 if __name__ == "__main__":
     main()