From 238bf8951bb021016175c443cbf91ce426a8aca8 Mon Sep 17 00:00:00 2001
From: Jonathan Lambrechts <jonathan.lambrechts@uclouvain.be>
Date: Wed, 18 Jan 2017 15:57:38 +0000
Subject: [PATCH] font size for high dpi
---
Fltk/drawContextFltk.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Fltk/drawContextFltk.h b/Fltk/drawContextFltk.h
index 1c369e9851..23f3afeffb 100644
--- a/Fltk/drawContextFltk.h
+++ b/Fltk/drawContextFltk.h
@@ -127,7 +127,7 @@ class drawContextFltk : public drawContextGlobal{
else if(w <= 1440) return 12;
else if(w <= 1680) return 13;
else if(w <= 1920) return 14;
- else return 15;
+ else return (w-1920)/160 +15;
}
}
void setFont(int fontid, int fontsize)
--
GitLab