Small UI redesign on Preferences_MiniMap
Merge branch 'master' of https://github.com/ninja-ide/ninja-ide into fix/preferences_minimap
Dummy Commit ReSync
Merge pull request #1720 from juancarlospaco/fix/preferences_minimap

Small UI redesign on Preferences_MiniMap