-
Notifications
You must be signed in to change notification settings - Fork 24
Open
Labels
Description
Screenshot to illustrate the issue:
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.