diff options
Diffstat (limited to 'feedlist.js')
| -rw-r--r-- | feedlist.js | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/feedlist.js b/feedlist.js index 0020de179..ac2985a2f 100644 --- a/feedlist.js +++ b/feedlist.js @@ -460,10 +460,4 @@ function init_collapsable_feedlist(theme) { } -function remove_splash() { - if (Element.visible("overlay")) { - debug("about to remove splash, OMG!"); - Element.hide("overlay"); - debug("removed splash!"); - } -} + |