Rev 8492 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 8492 | Rev 8500 | ||
|---|---|---|---|
| Line 145... | Line 145... | ||
| 145 | if (_id == tab.active) { |
145 | if (_id == tab.active) { |
| 146 | tab.close(_id); |
146 | tab.close(_id); |
| 147 | tab.restore(tab.active); |
147 | tab.restore(tab.active); |
| 148 | SetElementSizes(); |
148 | SetElementSizes(); |
| 149 | WB1.ParseHtml(WB1.bufpointer, WB1.bufsize); |
149 | WB1.Reparse(); |
| 150 | WB1.DrawPage(); |
150 | WB1.DrawPage(); |
| 151 | SetOmniboxText(history.current()); |
151 | SetOmniboxText(history.current()); |
| 152 | } else { |
152 | } else { |
| 153 | tab.close(_id); |
153 | tab.close(_id); |
| 154 | } |
154 | } |
| 155 | DrawTabsBar(); |
155 | DrawTabsBar(); |
| Line 168... | Line 168... | ||
| 168 | tab.save_state(); |
168 | tab.save_state(); |
| 169 | tab.restore(_id); |
169 | tab.restore(_id); |
| 170 | DrawTabsBar(); |
170 | DrawTabsBar(); |
| 171 | SetElementSizes(); |
171 | SetElementSizes(); |
| 172 | WB1.ParseHtml(WB1.bufpointer, WB1.bufsize); |
172 | WB1.Reparse(); |
| 173 | WB1.DrawPage(); |
173 | WB1.DrawPage(); |
| 174 | SetOmniboxText(history.current()); |
174 | SetOmniboxText(history.current()); |
| 175 | DrawStatusBar(NULL); |
175 | DrawStatusBar(NULL); |
| 176 | } |
176 | } |
| 177 | 177 | ||