##// END OF EJS Templates
Merge pull request #7163 from jdfreder/refresh-persist...
Matthias Bussonnier -
r19569:683d70d4 merge
parent child Browse files
Show More
@@ -102,6 +102,13 b' define(['
102 102 });
103 103 };
104 104
105 // Use local storage to persist widgets across page refresh by default.
106 WidgetManager.set_state_callbacks(function() {
107 return JSON.parse(localStorage.widgets || '{}');
108 }, function(state) {
109 localStorage.widgets = JSON.stringify(state);
110 });
111
105 112 //--------------------------------------------------------------------
106 113 // Instance level
107 114 //--------------------------------------------------------------------
General Comments 0
You need to be logged in to leave comments. Login now