Changeset 1810 for sandbox/filemanager/js/draw_api.js
- Timestamp:
- 12/11/09 10:00:47 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
sandbox/filemanager/js/draw_api.js
r1809 r1810 135 135 preferencesEl = document.getElementById('userPreferences'); 136 136 preferences = unserialize(preferencesEl.value); 137 preferencesEl.parentNode.removeChild(preferencesEl); 137 138 } 138 139 function reloadFiles(newCriteria){
Note: See TracChangeset
for help on using the changeset viewer.