##// END OF EJS Templates
Improve handling of cursor_start and cursor_end for completions....
Improve handling of cursor_start and cursor_end for completions. Improve handling of cursor_start and cursor_end for completions. Improve handling of cursor_start and cursor_end for completions. Fix handling of end != cursor_position Fix handling of cursor offset and handle end <= start. Fix handling of cursor offset and handle end <= start. Reinstate extra whitespace More whitespace reinstating Still more whitespace Finalwhitespace Add a guard on start Fix logic for end > cursor_pos Another ws add WS tweak WS again

File last commit:

r17957:e4c20692
r18322:0d782d54
Show More
widget_float.js
32 lines | 1016 B | 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,
};
});