honestbleeps/Reddit-Enhancement-Suite — pull request #861 by thybag (2014-03-30 12:57:13+00:00)
Title: Add "show anyway" option on ignored posts

* Adds "show anyway" option to ignored comments & posts (if soft ignore)
* Fixes hard ignore failing to hide comments (it was previously only collapsing them)
* Re-factor ignore comment code, to share same method.

closes: https://github.com/honestbleeps/Reddit-Enhancement-Suite/issues/828