You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
The axis labels and legends in the graphs are similarly a bit small.
plot-font-size will set the font size used for labels (there are also parameters for the font family and other things. I am not sure where best to place it, but this will work for a quick fix:
This however will not update some of the hover labels that show up on plots, for those, some changes in dependent packages are needed.
I think font size could be made dependent on screen resolution
This is the bit that I am confused about. On Windows, I have a 2K monitor (1.5 scale) and a Full HD one (1K?). The fonts are automatically scaled as needed. For example, I can start the application on the 2K screen and, if I move it to the 1K screen the fonts are re-scaled so that the text is approximately the same size. The scaling happens at runtime by simply dragging the window between the two monitors. You can even see when the scaling happens, as if the window is more than 50% on the 2K screen, the part that is on the Full HD screen is actually bigger.
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
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.
The text was updated successfully, but these errors were encountered: