Add documentation for hideSelectionFromResult
Merge pull request #2067 from jdecuyper/gh-pages-hideSelectionFromResult-prettyprint

Add documentation for hideSelectionFromResult
Documentation for PR #2070
Merge pull request #2076 from jeanmonod/gh-pages

Documentation for PR #2070
Merge branch 'gh-pages' into 4.0-gh-pages