Avoid leaving the first empty document window when opening a file in MDI mode
Mac: Give document windows proper proxy icons
Add Mac standard Cmd-D shortcut for the 'Don't Save' button
Fix crash in cgalpngtest_assign-tests
search(): fix crash bug and add additional feature

search(4,[1,2,3]) crashed OpenSCAD. Instead of crashing, one can now search vectors for matching elements.
In addition, search([[1,2]],[[0,1],[1,2],[2,3]]) will work and return [1].
Preserves undo status if using the internal editor together with 'autoreload and compile'
Merge pull request #780 from OskarLinde/discard-shortcut

Add Mac standard Cmd-D shortcut for the 'Don't Save' button
#252 Downgrade to Qt-5.2.0 for Mac
Merge branch 'proxy-icons' of git://github.com/OskarLinde/openscad into OskarLinde-proxy-icons
Merge branch 'OskarLinde-proxy-icons'
Merge pull request #788 from OskarLinde/autoreload_undo_fix

auto-reload & compile with internal editor preserve undo status
Merge branch 'search_crashfix' of git://github.com/OskarLinde/openscad into OskarLinde-search_crashfix
#786 Added tests
Unset QMAKESPEC to avoid old Qt4 env to bleed over
Merge branch 'close-empty-win-on-open' of git://github.com/OskarLinde/openscad into OskarLinde-close-empty-win-on-open
Make editor and console windows dockable and make MDI mode a runtime option.
Fix resizing constraints for the animation panel.
Update window title in undocked mode when loading new files.
Overwrite sizeHint() for the editor to handle missing window state information.

This triggers only in case the configuration file has no window state
information (or no configuration file at all).
When this happens, the editor would default to a very ugly width due to
the dock widget layout. This overwrites the value reported via sizeHint()
to a width a bit smaller than half the main window size (either the one
loaded from the configuration or the default value of 800).
The height is only a dummy value which will be essentially ignored by
the layouting as the editor is set to expand to fill the available space.