2 * New (WinBoard-style) Move history for XBoard
4 * Copyright 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
5 * ------------------------------------------------------------------------
7 * GNU XBoard is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or (at
10 * your option) any later version.
12 * GNU XBoard is distributed in the hope that it will be useful, but
13 * WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 * General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with this program. If not, see http://www.gnu.org/licenses/.
20 * ------------------------------------------------------------------------
21 ** See the file ChangeLog for a revision history. */
36 # define _(s) gettext (s)
37 # define N_(s) gettext_noop (s)
43 // templates for calls into back-end (= history.c; should be moved to history.h header shared with it!)
44 void FindMoveByCharIndex P(( int char_index ));
46 // variables in nhistory.c
47 extern Option historyOptions[];
49 // ------------- low-level front-end actions called by MoveHistory back-end -----------------
52 HighlightMove (int from, int to, Boolean highlight)
55 static GtkTextIter start, end;
59 gtk_text_buffer_create_tag(historyOptions[0].handle, "highlight", "background", "yellow", NULL);
60 gtk_text_buffer_create_tag(historyOptions[0].handle, "normal", "background", "white", NULL);
62 gtk_text_buffer_get_iter_at_offset(historyOptions[0].handle, &start, from);
63 gtk_text_buffer_get_iter_at_offset(historyOptions[0].handle, &end, to);
64 gtk_text_buffer_apply_tag_by_name(historyOptions[0].handle, highlight ? "highlight" : "normal", &start, &end);
68 ScrollToCurrent (int caretPos)
70 static GtkTextIter iter;
71 gtk_text_buffer_get_iter_at_offset((GtkTextBuffer *) historyOptions[0].handle, &iter, caretPos);
72 gtk_text_view_scroll_to_iter((GtkTextView *) historyOptions[0].textValue, &iter, 0.0, 0, 0.5, 0.5);
76 // ------------------------------ callbacks --------------------------
78 char historyTranslations[] =
79 "<Btn3Down>: select-start() \n \
80 <Btn3Up>: extend-end() SelectMove() \n";