##// END OF EJS Templates
don't use fixed header...
don't use fixed header instead, use static header and flex box to accomplish the same thing. fixes various issues related to scrolling, anchors, etc.

File last commit:

r19176:f48e011c
r20050:a5cb9bb0
Show More
widget_float.js
34 lines | 1.0 KiB | application/javascript | JavascriptLexer
// Copyright (c) IPython Development Team.
// Distributed under the terms of the Modified BSD License.
define([
"widgets/js/widget",
"widgets/js/widget_int",
], function(widget, int_widgets){
var IntSliderView = int_widgets.IntSliderView;
var IntTextView = int_widgets.IntTextView;
var FloatSliderView = IntSliderView.extend({
_parse_value: parseFloat,
// matches: whitespace?, float, whitespace?, [-:], whitespace?, float
_range_regex: /^\s*([+-]?(?:\d*\.?\d+|\d+\.)(?:[eE][+-]?\d+)?)\s*[-:]\s*([+-]?(?:\d*\.?\d+|\d+\.)(?:[eE][+-]?\d+)?)/,
_validate_slide_value: function(x) {
/**
* Validate the value of the slider before sending it to the back-end
* and applying it to the other views on the page.
*/
return x;
},
});
var FloatTextView = IntTextView.extend({
_parse_value: parseFloat
});
return {
'FloatSliderView': FloatSliderView,
'FloatTextView': FloatTextView,
};
});