/editor/ui/chrome/region/
drwxr-xr-x [up]
-rw-r--r-- 2020-06-04 11:56 +0200 288 region.properties