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 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'desktop/gui.h') 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); -- cgit v1.2.3