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

Toolbar: Tooltip missing #1751

Closed
grimes2 opened this issue Aug 16, 2016 · 2 comments
Closed

Toolbar: Tooltip missing #1751

grimes2 opened this issue Aug 16, 2016 · 2 comments
Assignees
@oscargus
Labels
component: ui [outdated] type: bug Confirmed bugs or reports that are very likely to be bugs
Milestone
v3.6

Comments

@grimes2
Copy link
Contributor

grimes2 commented Aug 16, 2016

JabRef version 3.5 on Windows 10

  1. JabRef Toolbar
  2. Button for Web search interface (globe symbol)
  3. Tooltip missing (should be: Toggle web search interface)
@matthiasgeiger matthiasgeiger added this to the v3.6 milestone Aug 16, 2016
@matthiasgeiger
Copy link
Member

Thanks for your report! This should be easily fixed for the next release...

@matthiasgeiger matthiasgeiger added the [outdated] type: bug Confirmed bugs or reports that are very likely to be bugs label Aug 16, 2016
@oscargus oscargus self-assigned this Aug 16, 2016
@oscargus oscargus mentioned this issue Aug 16, 2016
Merged
3 tasks
@oscargus
Copy link
Contributor

Fixed in #1754

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

@oscargus oscargus

Labels
component: ui [outdated] type: bug Confirmed bugs or reports that are very likely to be bugs
Projects
None yet
Milestone
v3.6
Development

No branches or pull requests
3 participants
@matthiasgeiger @oscargus @grimes2