From cfaf607a7a8ca570583a8ac811e9f0e13c6e1a19 Mon Sep 17 00:00:00 2001 From: Dan Helfman Date: Fri, 19 Oct 2007 20:38:38 +0000 Subject: [PATCH] Briefly highlight the all notes link when you hide a note. --- static/js/Wiki.js | 1 + 1 file changed, 1 insertion(+) diff --git a/static/js/Wiki.js b/static/js/Wiki.js index b097328..2af3a13 100644 --- a/static/js/Wiki.js +++ b/static/js/Wiki.js @@ -615,6 +615,7 @@ Wiki.prototype.hide_editor = function ( event, editor ) { this.save_editor( editor ); editor.shutdown(); + Highlight( "all_notes_link" ); } this.display_empty_message();