fixed #840, deleting shortcut, added default size of columns
remove support mouse shortcuts
Fixed some extra undo-redo actions
Merge pull request #921 from dima6120/hkm_bugs

fixed #840;
fixed shortcut deletons;
added default size of columns in hotkey manager page
Removed extra empty lines
Merge branch 'master' of github.com:qreal/qreal into subprograms

Conflicts:
	qrgui/qrgui.pro
Merge pull request #946 from dvvrd/subprograms

Explosions
Styleguide fixes for explosions
Merge pull request #950 from dvvrd/subprograms

Styleguide fixes for explosions
Merge branch 'master' of github.com:qreal/qreal into backward-compability

Conflicts:
	qrgui/models/details/logicalModel.cpp