display project filename in project properties (implements #10788)