settings dialog updated to give "Shell Extended" overlay caching option
tree761b81351694d1d8db32aa25ab28908976f31e2e
-rw-r--r-- 111 .gitignore
drwxr-xr-x - Languages
-rw-r--r-- 3557 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src