##// END OF EJS Templates
set <select> width to auto
Juergen Hasch -
Show More
@@ -193,7 +193,7 b' var IPython = (function (IPython) {'
193 this.complete = $('<div/>').addClass('completions');
193 this.complete = $('<div/>').addClass('completions');
194 this.complete.attr('id', 'complete');
194 this.complete.attr('id', 'complete');
195
195
196 this.sel = $('<select/>').attr('multiple', 'true').attr('size', Math.min(10, this.raw_result.length));
196 this.sel = $('<select style="width: auto"/>').attr('multiple', 'true').attr('size', Math.min(10, this.raw_result.length));
197 var pos = this.editor.cursorCoords();
197 var pos = this.editor.cursorCoords();
198
198
199 // TODO: I propose to remove enough horizontal pixel
199 // TODO: I propose to remove enough horizontal pixel
General Comments 0
You need to be logged in to leave comments. Login now