Skip to content

Very small fonts in groups panel and entry editor on high dpi screen #3034

Closed
Closed
Very small fonts in groups panel and entry editor on high dpi screen#3034
Labels
component: entry-editorcomponent: groupscomponent: ui
Milestone
v4.0
@juejung

Description

@juejung
juejung
opened on Jul 21, 2017

JabRef version 4-beta2 on Ubuntu 17.04 with open JDK 1.8.0_131 on a high dpi screen
the scaling of the menu, table and icons looks good. However, the font size of the groups panel and the entry editor is really small and I don't see a way to increase it -- see attached screenshot.

image
The preview font is also extremely small and non-readable.
image

Metadata

Metadata

Assignees

No one assigned

    Labels

    component: entry-editorcomponent: groupscomponent: ui

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions