From d106091d6e5df26a83460ae484c31753b873368c Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Mon, 13 Aug 2012 14:43:04 +0100 Subject: Pass font plot style out to front end clipboard append function. --- desktop/gui.h | 3 ++- desktop/selection.c | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'desktop') 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; -- cgit v1.2.3