diff options
Diffstat (limited to 'desktop')
| -rw-r--r-- | desktop/gui.h | 3 | ||||
| -rw-r--r-- | desktop/selection.c | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/desktop/gui.h b/desktop/gui.h index 85f1015eb..2fc2b9130 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -129,7 +129,8 @@ void gui_clear_selection(struct gui_window *g); void gui_paste_from_clipboard(struct gui_window *g, int x, int y); bool gui_empty_clipboard(void); -bool gui_add_to_clipboard(const char *text, size_t length, bool space); +bool gui_add_to_clipboard(const char *text, size_t length, bool space, + const plot_font_style_t *fstyle); bool gui_commit_clipboard(void); bool gui_copy_to_clipboard(struct selection *s); diff --git a/desktop/selection.c b/desktop/selection.c index 436117a89..00984d9b1 100644 --- a/desktop/selection.c +++ b/desktop/selection.c @@ -753,7 +753,7 @@ static bool selection_copy_handler(const char *text, size_t length, /* add any whitespace which precedes the text from this box */ if (whitespace_text != NULL && whitespace_length > 0) { if (!gui_add_to_clipboard(whitespace_text, - whitespace_length, false)) { + whitespace_length, false, &style)) { return false; } } @@ -772,7 +772,7 @@ static bool selection_copy_handler(const char *text, size_t length, } /* add the text from this box */ - if (!gui_add_to_clipboard(text, length, add_space)) + if (!gui_add_to_clipboard(text, length, add_space, &style)) return false; return true; |