| 641 | 641 | mPreview.refresh(); |
| 642 | 642 | Engine.clear(); |
| 643 | mRBootstrapController.update(); | |
| 643 | 644 | } |
| 644 | 645 |
| 330 | 330 | */ |
| 331 | 331 | private static class PaginationListener extends Thread { |
| 332 | private static final Pattern DIGITS = Pattern.compile( "[^\\d]+" ); | |
| 332 | private static final Pattern DIGITS = Pattern.compile( "\\D+" ); | |
| 333 | 333 | |
| 334 | 334 | private final InputStream mInputStream; |