allow resize preferences
Merge branch 'master' of github.com:diegosarmentero/ninja-ide
Merge branch 'master' of github.com:diegosarmentero/ninja-ide
Merge remote-tracking branch 'upstream/master'
fixing segfault in split
Merge pull request #1627 from diegosarmentero/master

Fixing segfault in close split