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

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

Adding execution to preferences
Refresh minimap on restart
Merge pull request #1641 from diegosarmentero/master

Refresh minimap on restart
Using add_to_stack function from tools_dock
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
Merge pull request #1643 from diegosarmentero/master

avoid closing the widgets in the explorer if is not undocked
Updated doc strings.
Merge pull request #1646 from goblincoding/docupdates

Updated doc strings.
Minor typo fix.
Convention is to capitalise each word.
Add Autocomplete to preferences_execution, Add missing DocStrings
Merge pull request #1648 from juancarlospaco/feature/preferences_execution

[preferences] Add Autocomplete to preferences_execution, Add missing DocStrings
Showing only the handlers combo
Fixing split assistance height
Fixing icons in find and replace
Merge pull request #1650 from diegosarmentero/master

Fixing icons, split size, and combo file