/editor/ui/chrome/region/
drwxr-xr-x [up]
-rw-r--r-- 2013-07-30 01:56 +0200 288 region.properties