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.

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

Display issues with fulltext search button #10425

Closed
2 tasks done
tobiasdiez opened this issue Sep 28, 2023 · 3 comments · Fixed by #10819
Closed
2 tasks done

Display issues with fulltext search button #10425

tobiasdiez opened this issue Sep 28, 2023 · 3 comments · Fixed by #10819
Assignees
Labels
bug Confirmed bugs or reports that are very likely to be bugs FirstTimeCodeContribution Triggers GitHub Greeter Workflow

Comments

@tobiasdiez
Copy link
Member

JabRef version

5.10 (latest release)

Operating system

Windows

Details on version and operating system

No response

Checked with the latest development build (copy version output from About dialog)

  • I made a backup of my libraries before testing the latest development version.
  • I have tested the latest development version and the problem persists

Steps to reproduce the behaviour

In the entry editor, click the button for searching of fulltexts online. Once clicked, the button disappears.

Recording.2023-09-28.235713.mp4

Appendix

...

Log File
Paste an excerpt of your log file here
@ThiloteE ThiloteE added the bug Confirmed bugs or reports that are very likely to be bugs label Sep 30, 2023
@github-project-automation github-project-automation bot moved this to Normal priority in Prioritization Sep 30, 2023
@1162706031
Copy link

Hello, I am very interested in this issue and thank you very much for assigning this issue to me.

@ThiloteE ThiloteE added the FirstTimeCodeContribution Triggers GitHub Greeter Workflow label Oct 3, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Oct 3, 2023

As a general advice for newcomers: check out Contributing for a start. Also, guidelines for setting up a local workspace is worth having a look at.

Feel free to ask here at GitHub, if you have any issue related questions. If you have questions about how to setup your workspace use JabRef's Gitter chat. Try to open a (draft) pull-request early on, so that people can see you are working on the issue and so that they can see the direction the pull request is heading towards. This way, you will likely receive valuable feedback.

@ThiloteE
Copy link
Member

ThiloteE commented Oct 3, 2023

Thank you @1162706031. I don't know if this is a good first issue. If you have trouble solving this, please comment and I will unassign you. You then could check out issues from our good first issues projects board. Be aware, difficulty of good first issues varies too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Confirmed bugs or reports that are very likely to be bugs FirstTimeCodeContribution Triggers GitHub Greeter Workflow
Projects
Archived in project
Archived in project
Development

Successfully merging a pull request may close this issue.

3 participants