Show More
@@ -530,11 +530,11 b' var IPython = (function (IPython) {' | |||||
530 |
|
530 | |||
531 | CodeCell.prototype.select = function () { |
|
531 | CodeCell.prototype.select = function () { | |
532 | IPython.Cell.prototype.select.apply(this); |
|
532 | IPython.Cell.prototype.select.apply(this); | |
533 | // In some cases (inserting a new cell) we need a refresh before and |
|
|||
534 | // after the focus. Not sure why this is the case. |
|
|||
535 | this.code_mirror.refresh(); |
|
533 | this.code_mirror.refresh(); | |
536 | this.code_mirror.focus(); |
|
534 | this.code_mirror.focus(); | |
537 | this.code_mirror.refresh(); |
|
535 | // We used to need an additional refresh() after the focus, but | |
|
536 | // it appears that this has been fixed in CM. This bug would show | |||
|
537 | // up on FF when a newly loaded markdown cell was edited. | |||
538 | }; |
|
538 | }; | |
539 |
|
539 | |||
540 |
|
540 |
@@ -96,14 +96,11 b' var IPython = (function (IPython) {' | |||||
96 | var output = text_cell.find("div.text_cell_render"); |
|
96 | var output = text_cell.find("div.text_cell_render"); | |
97 | output.hide(); |
|
97 | output.hide(); | |
98 | text_cell.find('div.text_cell_input').show(); |
|
98 | text_cell.find('div.text_cell_input').show(); | |
99 | // I don't know why I need to do this, but if I don't do |
|
|||
100 | // refresh/focus/refresh, the to_markdown method won't work. |
|
|||
101 | this.code_mirror.refresh(); |
|
99 | this.code_mirror.refresh(); | |
102 | this.code_mirror.focus(); |
|
100 | this.code_mirror.focus(); | |
103 | // This final refresh is needed on Firefox to trigger the editor |
|
101 | // We used to need an additional refresh() after the focus, but | |
104 | // to be auto-sized. This glitch only happens on cell that are |
|
102 | // it appears that this has been fixed in CM. This bug would show | |
105 | // loaded initially and haven't had their editor focused before. |
|
103 | // up on FF when a newly loaded markdown cell was edited. | |
106 | this.code_mirror.refresh(); |
|
|||
107 | this.rendered = false; |
|
104 | this.rendered = false; | |
108 | if (this.get_text() === this.placeholder) { |
|
105 | if (this.get_text() === this.placeholder) { | |
109 | this.set_text(''); |
|
106 | this.set_text(''); |
General Comments 0
You need to be logged in to leave comments.
Login now