Dave Jarvis' Repositories

git clone https://repo.autonoma.ca/repo/keenwrite.git
M libs/keenquotes.jar
Binary file
M src/main/java/com/keenwrite/MainPane.java
641641
    mPreview.refresh();
642642
    Engine.clear();
643
    mRBootstrapController.update();
643644
  }
644645
M src/main/java/com/keenwrite/typesetting/Typesetter.java
330330
   */
331331
  private static class PaginationListener extends Thread {
332
    private static final Pattern DIGITS = Pattern.compile( "[^\\d]+" );
332
    private static final Pattern DIGITS = Pattern.compile( "\\D+" );
333333
334334
    private final InputStream mInputStream;