koppor / jabref

Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
https://github.com/jabRef/jabref/
MIT License
8 stars 14 forks source link

Add user name and host name to user-specific file directory #658

Closed JoleneSun111 closed 8 months ago

JoleneSun111 commented 8 months ago

Fixes #572, user-specific file directory should show user name. Implement a hover on user-specific file directory. If the mouse is on hower, JabRef displays: user: {username}, host: {hostname}. 589e2a9a049ace9deb4f7ab3096b275

Describe the changes you have made here: Change the src/main/java/org/jabref/gui/libraryproperties/general, add two properties to display the username and hostname in the frontend. Fixed kopper issue : #572 https://github.com/koppor/jabref/issues/572

Mandatory checks

calixtus commented 8 months ago

There went sthg wrong, when i tried to resolve merge conflicts with in a PR, sorry for that.

calixtus commented 8 months ago

Im afraid you have to create a new PR, but please this time targeting JabRef:JabRef, this repo is just a mirror.

koppor commented 8 months ago

Regrading the screenshot: The tooltip looks good. - The content of the text field seems to have a prefix inside, but maybe just a quirk because of the screenshot.