diff options
author | Tor Andersson <tor.andersson@artifex.com> | 2018-04-13 12:50:01 +0200 |
---|---|---|
committer | Robin Watts <robin.watts@artifex.com> | 2018-06-22 16:48:46 +0100 |
commit | 80edb6d4fe8c4af5b01176bcd956df37a24438a8 (patch) | |
tree | acc48ad258e5b233967e6cbd3df5b6149279665f /platform/gl/gl-main.c | |
parent | 40f1e72772d86aa4bf899d3f25072477c50055d7 (diff) | |
download | mupdf-80edb6d4fe8c4af5b01176bcd956df37a24438a8.tar.xz |
gl: Increase font size on high resolution displays.
Also increase the max resolution in the zoom list.
Diffstat (limited to 'platform/gl/gl-main.c')
-rw-r--r-- | platform/gl/gl-main.c | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/platform/gl/gl-main.c b/platform/gl/gl-main.c index c6aadc0b..c2697489 100644 --- a/platform/gl/gl-main.c +++ b/platform/gl/gl-main.c @@ -58,7 +58,11 @@ static void open_browser(const char *uri) #endif } -static const int zoom_list[] = { 18, 24, 36, 54, 72, 96, 120, 144, 180, 216, 288 }; +static const int zoom_list[] = { + 24, 36, 48, 60, 72, 84, 96, 108, + 120, 144, 168, 192, 228, 264, + 300, 350, 400, 450, 500, 550, 600 +}; static int zoom_in(int oldres) { @@ -102,8 +106,8 @@ static int scroll_x = 0, scroll_y = 0; static int canvas_x = 0, canvas_w = 100; static int canvas_y = 0, canvas_h = 100; -static int outline_w = 260; -static int annotate_w = 220; +static int outline_w = 14; /* to be scaled by lineheight */ +static int annotate_w = 12; /* to be scaled by lineheight */ static int oldinvert = 0, currentinvert = 0; static int oldpage = 0, currentpage = 0; @@ -1366,6 +1370,9 @@ int main(int argc, char **argv) ui.dialog = do_open_document_dialog; } + annotate_w *= ui.lineheight; + outline_w *= ui.lineheight; + glutMainLoop(); ui_finish(); |