(GuidePageBase page)
| 144 | } |
| 145 | |
| 146 | public void openPage(GuidePageBase page) { |
| 147 | if (currentPage != null && currentPage.shouldPersistHistory()) { |
| 148 | pages.push(currentPage); |
| 149 | } |
| 150 | setPageInternal(page); |
| 151 | } |
| 152 | |
| 153 | public void closePage() { |
| 154 | if (pages.isEmpty()) { |
no test coverage detected