diff -r 0b936ff1bbb9 -r a2bc06a54d9d src/eric7/eric7_api.py --- a/src/eric7/eric7_api.py Sun Nov 06 11:22:39 2022 +0100 +++ b/src/eric7/eric7_api.py Mon Nov 07 17:19:58 2022 +0100 @@ -13,6 +13,7 @@ """ import fnmatch +import getopt import glob import os import sys @@ -109,8 +110,6 @@ """ global supportedExtensions - import getopt - try: opts, args = getopt.getopt( sys.argv[1:],