xhistory.c

   1 /*
   2  * New (WinBoard-style) Move history for XBoard
   3  *
   4  * Copyright 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
   5  * ------------------------------------------------------------------------
   6  *
   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.
  11  *
  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.
  16  *
  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/.
  19  *
  20  * ------------------------------------------------------------------------
  21  ** See the file ChangeLog for a revision history.  */
  22
  23 #include "config.h"
  24
  25 #include <stdio.h>
  26 #include <stdlib.h>
  27 #include <gtk/gtk.h>
  28
  29 #include "common.h"
  30 #include "backend.h"
  31 #include "xhistory.h"
  32 #include "dialogs.h"
  33 #include "gettext.h"
  34
  35 #ifdef ENABLE_NLS
  36 # define  _(s) gettext (s)
  37 # define N_(s) gettext_noop (s)
  38 #else
  39 # define  _(s) (s)
  40 # define N_(s)  s
  41 #endif
  42
  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 ));
  45
  46 // variables in nhistory.c
  47 extern Option historyOptions[];
  48
  49 // ------------- low-level front-end actions called by MoveHistory back-end -----------------
  50
  51 void
  52 HighlightMove (int from, int to, Boolean highlight)
  53 {
  54     static int init = 0;
  55     GtkTextIter start, end;
  56
  57     if(!init) {
  58         init = 1;
  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);
  61     }
  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);
  65 }
  66
  67 void
  68 ScrollToCurrent (int caretPos)
  69 {
  70 #ifdef TODO_GTK
  71     Arg args[10];
  72     char *s;
  73     int len;
  74     GetWidgetText(&historyOptions[0], &s);
  75     len = strlen(s);
  76     if(caretPos < 0 || caretPos > len) caretPos = len;
  77     if(caretPos > len-30) { // scroll to end, which causes no flicker
  78       static XEvent event;
  79       XtCallActionProc(historyOptions[0].handle, "end-of-file", &event, NULL, 0);
  80       return;
  81     }
  82     // the following leads to a very annoying flicker, even when no scrolling is done at all.
  83     XtSetArg(args[0], XtNinsertPosition, caretPos); // this triggers scrolling in Xaw
  84     XtSetArg(args[1], XtNdisplayCaret, False);
  85     XtSetValues(historyOptions[0].handle, args, 2);
  86 #endif
  87 }
  88
  89
  90 // ------------------------------ callbacks --------------------------
  91
  92 char historyTranslations[] =
  93 "<Btn3Down>: select-start() \n \
  94 <Btn3Up>: extend-end() SelectMove() \n";
  95