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

user interface: small improvement request #10285

Closed
ghost opened this issue Sep 2, 2023 · 5 comments · Fixed by #10438
Closed

user interface: small improvement request #10285

ghost opened this issue Sep 2, 2023 · 5 comments · Fixed by #10438
Assignees
Labels
component: ui FirstTimeCodeContribution Triggers GitHub Greeter Workflow good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement

Comments

@ghost
Copy link

ghost commented Sep 2, 2023

A column in this window is too small to see the text. Can it be made bigger? (it can't be made bigger with the mouse)

afbeelding

@Siedlerchr
Copy link
Member

Siedlerchr commented Sep 2, 2023 via email

@Siedlerchr Siedlerchr added component: ui good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement labels Sep 2, 2023
@github-project-automation github-project-automation bot moved this to Normal priority in Features & Enhancements Sep 2, 2023
@github-project-automation github-project-automation bot moved this to Free to take in Good First Issues Sep 2, 2023
@ghost
Copy link
Author

ghost commented Sep 2, 2023

It's not working here in this specific window. The size doesn't change. It is working in other parts of jabref (for example the entry table).

@SomasekharSunkari
Copy link

I want to work on this Can you assign this to me ?

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

github-actions bot commented Sep 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 ThiloteE moved this from Free to take to Reserved in Good First Issues Sep 3, 2023
@ghost
Copy link
Author

ghost commented Sep 6, 2023

I want to work on this Can you assign this to me ?

I want to tell you I can't enlarge this column with the mouse (Windows 10), but I can do this in the entry table and other places where there is a table. Very strange ... I don't know if this a related bug or what is causing this.

@ThiloteE ThiloteE moved this from Reserved to In Progress in Good First Issues Oct 3, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Done in Good First Issues Oct 8, 2023
@github-project-automation github-project-automation bot moved this from Normal priority to Done in Features & Enhancements Oct 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
component: ui FirstTimeCodeContribution Triggers GitHub Greeter Workflow good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement
Projects
Archived in project
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants