Add Hide Disabled Error list on Errors side panel
Merge pull request #1774 from diegosarmentero/master

LOTS OF IMPROVES and some new features
Merge pull request #1775 from diegosarmentero/master

Some improves in fuzzy finder
Merge pull request #1776 from diegosarmentero/master

remove prints
Merge pull request #1777 from diegosarmentero/master

We don't need dialogs!
Fix WebRender to use non dark background by default, Enable HTML5 settings
Merge pull request #1780 from juancarlospaco/fix/webrender

[WebRender] Fix WebRender, Enable HTML5 settings
Merge pull request #1784 from diegosarmentero/master

several improves in main selector area
Merge pull request #1772 from juancarlospaco/feature/hide_disabled_error_panel

[error panel] Add Hide Disabled Error list on Errors side panel
Merge pull request #1785 from diegosarmentero/master

support cycling between files in file handler