Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix #3292: annotations are now automatically refreshed #3325

Merged
merged 9 commits into from
Oct 21, 2017
Merged

Fix #3292: annotations are now automatically refreshed #3325

merged 9 commits into from
Oct 21, 2017

Commits on Oct 19, 2017

  1. Fix NPE

    @tobiasdiez
    tobiasdiez committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    d3abc07 View commit details
    Browse the repository at this point in the history

  2. Fix reload of file annotations

    @tobiasdiez
    tobiasdiez committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    dd8aff5 View commit details
    Browse the repository at this point in the history

  3. Refactor file monitor to use nio WatchService

    @tobiasdiez
    tobiasdiez committed Oct 19, 2017
    Configuration menu
    Copy the full SHA
    2053c0e View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2017

  1. Watch pdf files for change and remove refresh button

    @tobiasdiez
    tobiasdiez committed Oct 20, 2017
    Configuration menu
    Copy the full SHA
    5601441 View commit details
    Browse the repository at this point in the history

  2. Fix build

    @tobiasdiez
    tobiasdiez committed Oct 20, 2017
    Configuration menu
    Copy the full SHA
    bc1d88a View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2017

  1. Merge branch 'master' of https://github.com/JabRef/jabref into fixAnn… 

    …otationRefresh
    @tobiasdiez
    tobiasdiez committed Oct 21, 2017
    Configuration menu
    Copy the full SHA
    ce1cfa9 View commit details
    Browse the repository at this point in the history

  2. Revert changes to wrongly pushed test data

    @tobiasdiez
    tobiasdiez committed Oct 21, 2017
    Configuration menu
    Copy the full SHA
    9d365d0 View commit details
    Browse the repository at this point in the history

  3. Update DatabaseChangeMonitor.java

    @tobiasdiez
    tobiasdiez authored Oct 21, 2017
    Configuration menu
    Copy the full SHA
    d531a01 View commit details
    Browse the repository at this point in the history

  4. Update BasePanel.java

    @tobiasdiez
    tobiasdiez authored Oct 21, 2017
    Configuration menu
    Copy the full SHA
    eddbd3b View commit details
    Browse the repository at this point in the history