Allan Odgaard 10f88212e4 Use setDynamicTitle: for menu items with dynamic title ...

See previous commit for details.

2016-09-20 10:03:45 +02:00

..

src

Use setDynamicTitle: for menu items with dynamic title

2016-09-20 10:03:45 +02:00

target

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

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