Skip to content

Font size too small on 4k monitor on Linux #52

@misev

Description

@misev

Screenshot to illustrate the issue:

Screenshot_20201104_111441

I had the font sizes in the Summary boxes increased in the code, but have somehow managed to lose it with the latest git pull.

For the tab selector I increased it in the code with

diff --git a/rkt/widgets/tab-selector.rkt b/rkt/widgets/tab-selector.rkt
index 980853f..fbf0960 100644
--- a/rkt/widgets/tab-selector.rkt
+++ b/rkt/widgets/tab-selector.rkt
@@ -50,7 +50,7 @@
     (super-new)

     ;; Font used to draw the labels
-    (define font (send the-font-list find-or-create-font 9 'default 'normal 'normal
+    (define font (send the-font-list find-or-create-font 14 'default 'normal 'normal
                        #f 'smoothed))

The axis labels and legends in the graphs are similarly a bit small.

I think font size could be made dependent on screen resolution, but I'm not sure how difficult it would be. Clearly some parts of the application already adapt well automatically, could be a widget issue.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions