set frame size does not work under osx -- need to investigate