Skip to content

Fix ClipboardManager <-> Prefs ordering#7224

Merged
Siedlerchr merged 1 commit into
masterfrom
fixPrefClipboard
Dec 21, 2020
Merged

Fix ClipboardManager <-> Prefs ordering#7224
Siedlerchr merged 1 commit into
masterfrom
fixPrefClipboard

Conversation

@koppor

@koppor koppor commented Dec 21, 2020 •
edited
Loading

Copy link
Copy Markdown
Member

Fixes #7200

  • Change in CHANGELOG.md described (if applicable)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked documentation: Is the information available and up to date? If not created an issue at https://github.com/JabRef/user-documentation/issues or, even better, submitted a pull request to the documentation repository.

@koppor @DominikVoigt @Siedlerchr
Fix ClipboardManager <-> Prefs ordering
c11a10f 
Co-authored-by: Dominik Voigt <dominik.ingo.voigt@gmail.com>
Co-authored-by: Siedlerchr <siedlerkiller@gmail.com>
@koppor koppor requested a review from calixtus December 21, 2020 20:12
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Dec 21, 2020
@Siedlerchr Siedlerchr merged commit 64f49b0 into master Dec 21, 2020
@Siedlerchr Siedlerchr deleted the fixPrefClipboard branch December 21, 2020 20:28
Siedlerchr added a commit that referenced this pull request Dec 22, 2020
@Siedlerchr
Merge remote-tracking branch 'upstream/master' into importerbackgroun…
10db39a 
…dtask

* upstream/master:
  Output java error on console, too (#7222)
  Speedup processResources (#7221)
  Fix ClipboardManager <-> Prefs ordering (#7224)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Siedlerchr Siedlerchr Siedlerchr approved these changes

@calixtus calixtus Awaiting requested review from calixtus

Assignees

No one assigned

Labels

status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Exception upon copy (org.jabref.preferences.PreferencesService.getFieldWriterPreferences())

2 participants

@koppor @Siedlerchr