diff options
Diffstat (limited to 'platform')
| -rw-r--r-- | platform/gl/gl-main.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/platform/gl/gl-main.c b/platform/gl/gl-main.c index 726de1c0..ee182cdd 100644 --- a/platform/gl/gl-main.c +++ b/platform/gl/gl-main.c @@ -489,6 +489,11 @@ static void do_page_selection(void) fz_transform_point(&page_a, &view_page_inv_ctm); fz_transform_point(&page_b, &view_page_inv_ctm); + if (ui.mod == GLUT_ACTIVE_CTRL) + fz_snap_selection(ctx, page_text, &page_a, &page_b, FZ_SELECT_WORDS); + else if (ui.mod == GLUT_ACTIVE_CTRL + GLUT_ACTIVE_SHIFT) + fz_snap_selection(ctx, page_text, &page_a, &page_b, FZ_SELECT_LINES); + n = fz_highlight_selection(ctx, page_text, page_a, page_b, hits, nelem(hits)); glBlendFunc(GL_ONE_MINUS_DST_COLOR, GL_ZERO); /* invert destination color */ |