Updates to NINJA-IDE descriptions.
Fixed integer division warning.
Reverted strange rope exclusions.
Changes to integer division warning implementation.
Merge pull request #1638 from diegosarmentero/master

fixing some issues with the notification color branch
Merge pull request #1637 from goblincoding/master

Updates to NINJA-IDE descriptions.
Merge pull request #1639 from diegosarmentero/master

Adding shortcuts manager to preferences
Merge pull request #1640 from diegosarmentero/master

Adding execution to preferences
Merge pull request #1641 from diegosarmentero/master

Refresh minimap on restart
Merge pull request #1642 from diegosarmentero/master

Using add_to_stack function from tools_dock
avoid closing the widgets in the explorer if is not undocked