Skip to content

Disable menu items for unsaved library#12199

Merged
Siedlerchr merged 4 commits into
mainfrom
disablemenuitems
Nov 17, 2024
Merged

Disable menu items for unsaved library#12199
Siedlerchr merged 4 commits into
mainfrom
disablemenuitems

Conversation

@Siedlerchr

@Siedlerchr Siedlerchr commented Nov 17, 2024

Copy link
Copy Markdown
Member

Fixes #11920
Supersedes #12162

Mandatory checks

  • I own the copyright of the code submitted and I licence it under the MIT license
  • Change in CHANGELOG.md described in a way that is understandable for the average user (if change is visible to the user)
  • Tests created for changes (if applicable)
  • Manually tested changed features in running JabRef (always required)
  • Screenshots added in PR description (for UI changes)
  • Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

gradle-update-robot and others added 2 commits November 17, 2024 11:47
Signed-off-by: gradle-update-robot <gradle-update-robot@regolo.cc>
@Siedlerchr Siedlerchr added the status: ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Nov 17, 2024
Comment thread src/main/java/org/jabref/gui/frame/JabRefFrame.java
HoussemNasri
HoussemNasri previously approved these changes Nov 17, 2024
Comment thread CHANGELOG.md Outdated
Co-authored-by: Houssem Nasri <housi.housi2015@gmail.com>
@github-actions

github-actions Bot commented Nov 17, 2024

Copy link
Copy Markdown
Contributor

The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build.

@Siedlerchr Siedlerchr enabled auto-merge November 17, 2024 18:21
@Siedlerchr Siedlerchr added this pull request to the merge queue Nov 17, 2024
Merged via the queue into main with commit 572c823 Nov 17, 2024
@Siedlerchr Siedlerchr deleted the disablemenuitems branch November 17, 2024 21:32
@koppor

koppor commented Feb 6, 2025

Copy link
Copy Markdown
Member

Related: #11941

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Disable irrelevant context menu options for unsaved libraries

4 participants