| changeset 34632 | f044d8446ae9 |
| parent 34629 | fdc1087a970f |
| child 34648 | 8213a350fd45 |
| 34631:83cf912efd8a | 34632:f044d8446ae9 |
|---|---|
72 else null |
72 else null |
73 if (state_panel != null) { |
73 if (state_panel != null) { |
74 if (state == null) |
74 if (state == null) |
75 state_panel.setDocument(null: Document) |
75 state_panel.setDocument(null: Document) |
76 else |
76 else |
77 state_panel.setDocument(state.result_document, UserAgent.baseURL) |
77 state_panel.setDocument(state.result_document, UserAgent.base_URL) |
78 } |
78 } |
79 }) |
79 }) |
80 |
80 |
81 } |
81 } |
82 |
82 |