Eero,
In my opinion, I would not wait to release 1.8 for the OS X keyboard shortcuts. As far as I know, the shortcuts in the File menu have not ever worked. If we remove the File keyboard shortcuts, I would prefer that Jerome or Cocoa Pod do this. If I simply change the NIB file, I am concerned that the NIB and XIB files will no longer be in sync.
While I would love to see Nicolas’ new floppy options added to the OS X GUI, I am confident that the typical OS X Hatari user is not going to need to disable one of the floppy drives or change either drive to single-sided. Unfortunately, the Xcode Interface Builder learning curve is too steep for me right now. If someone does need to make those changes, the SDL menu is still available for use.