Allan Odgaard 0a6cbe150e Remove documentDisplayName property ...

The only purpose of observing this property seems to be to update the window title, but since display name is derived from path, which we also observe, it seems redundant.

Though technically the display name could change because extension is hidden or similar, but this is a bit of an edge-case, and long-term we want file browser and tab bar to observe the document’s displayName property directly.

2016-09-24 09:43:59 +02:00

..

src

Remove documentDisplayName property

2016-09-24 09:43:59 +02:00

target

Rename file DocumentController.{mm,h} to DocumentWindowController.{mm,h}

2016-09-13 07:37:16 +02:00