##// 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 // Instance level
113 // Instance level
107 //--------------------------------------------------------------------
114 //--------------------------------------------------------------------
General Comments 0
You need to be logged in to leave comments. Login now