• Lars Kruse's avatar
    improve handling of filename URI · f31b3dd7
    Lars Kruse authored
    * Windows: use "urllib.url2pathname" instead of manual decoding
    * non-Windows: use "urllib.url2pathname" instead of doing nothing
    
    Filenames including whitespace or special characters can now be used
    with the RecentChooserMenu ("recently used model files").
    f31b3dd7
Name
Last commit
Last update
..
FontCache.py Loading commit data...
__init__.py Loading commit data...
iterators.py Loading commit data...
locations.py Loading commit data...
log.py Loading commit data...
polynomials.py Loading commit data...
rootsolver.py Loading commit data...
threading.py Loading commit data...
xml_handling.py Loading commit data...