Show More
@@ -115,6 +115,11 span.section_row_buttons a { | |||
|
115 | 115 | float: right; |
|
116 | 116 | } |
|
117 | 117 | |
|
118 | #timebeforetooltip{ | |
|
119 | margin-top:-3px; | |
|
120 | text-align:right; | |
|
121 | } | |
|
122 | ||
|
118 | 123 | #timebeforetooltip_span { |
|
119 | 124 | float: right; |
|
120 | 125 | } |
@@ -137,6 +137,7 var IPython = (function (IPython) { | |||
|
137 | 137 | this.content.find('#tooltipontab').attr('title', 'Show tooltip if you press <Tab> after "(" or a white space'); |
|
138 | 138 | this.content.find('#tooltipontab_label').attr('title', 'Show Tooltip when pressing Tab'); |
|
139 | 139 | |
|
140 | this.content.find('#timebeforetooltip').addClass("ui-widget ui-widget-content"); | |
|
140 | 141 | this.content.find('#timebeforetooltip').attr('title', 'Time before a tooltip auto-appear when "(" is pressed (negative value supress tooltip)'); |
|
141 | 142 | this.content.find('#timebeforetooltip_label').attr('title', 'Time before a tooltip auto-appear when "(" is pressed (negative value supress tooltip)'); |
|
142 | 143 |
@@ -253,7 +253,7 | |||
|
253 | 253 | |
|
254 | 254 | <div id="config_section"> |
|
255 | 255 | <div class="section_header"> |
|
256 | <h3>Config</h3> | |
|
256 | <h3>Configuration</h3> | |
|
257 | 257 | </div> |
|
258 | 258 | <div class="section_content"> |
|
259 | 259 | <div class="section_row"> |
@@ -269,10 +269,11 | |||
|
269 | 269 | <span class="checkbox_label" id="smartcompleter_label">Smart completer:</span> |
|
270 | 270 | </div> |
|
271 | 271 | <div class="section_row"> |
|
272 | <span class="numeric_input_label" id="timebeforetooltip_label">Time before tooltip : </span> | |
|
272 | 273 | <span id="timebeforetooltip_span"> |
|
273 | <input type="text" id="timebeforetooltip" value="1200"></input> | |
|
274 | <input type="text" id="timebeforetooltip" value="1200" size='6'></input> | |
|
275 | <span class="numeric_input_label" id="timebeforetooltip_unit">milliseconds</span> | |
|
274 | 276 | </span> |
|
275 | <span class="numeric_input_label" id="timebeforetooltip_label">Time before tooltip : </span> | |
|
276 | 277 | </div> |
|
277 | 278 | </div> |
|
278 | 279 | </div> |
General Comments 0
You need to be logged in to leave comments.
Login now