##// END OF EJS Templates
allow users to set scroll state...
allow users to set scroll state and persist that state in metadata. When user toggles the scroll state, the choice is remembered and persisted. There are three states: - 'auto' (default, only state in master) - true (always scroll if above minimum_scroll_threshold) - false (never scroll) true or false is persisted in cell.metadata.scrolled. "auto" may be persisted, but isn't currently because it's the default state.

File last commit:

r19202:bab26ab3 merge
r20058:b237ec78
Show More
init.js
34 lines | 1.1 KiB | application/javascript | JavascriptLexer
// Copyright (c) IPython Development Team.
// Distributed under the terms of the Modified BSD License.
define([
"widgets/js/manager",
"widgets/js/widget_link",
"widgets/js/widget_bool",
"widgets/js/widget_button",
"widgets/js/widget_box",
"widgets/js/widget_float",
"widgets/js/widget_image",
"widgets/js/widget_int",
"widgets/js/widget_output",
"widgets/js/widget_selection",
"widgets/js/widget_selectioncontainer",
"widgets/js/widget_string",
], function(widgetmanager, linkModels) {
for (var target_name in linkModels) {
if (linkModels.hasOwnProperty(target_name)) {
widgetmanager.WidgetManager.register_widget_model(target_name, linkModels[target_name]);
}
}
// Register all of the loaded views with the widget manager.
for (var i = 2; i < arguments.length; i++) {
for (var target_name in arguments[i]) {
if (arguments[i].hasOwnProperty(target_name)) {
widgetmanager.WidgetManager.register_widget_view(target_name, arguments[i][target_name]);
}
}
}
return {'WidgetManager': widgetmanager.WidgetManager};
});