contrib/texinfo-4/info/display.h

   1 /* display.h -- How the display in Info is done.
   2    $Id: display.h,v 1.3 2004/04/11 17:56:45 karl Exp $
   3
   4    This file is part of GNU Info, a program for reading online documentation
   5    stored in Info format.
   6
   7    Copyright (C) 1993, 1997, 2004 Free Software Foundation, Inc.
   8
   9    This program is free software; you can redistribute it and/or modify
  10    it under the terms of the GNU General Public License as published by
  11    the Free Software Foundation; either version 2, or (at your option)
  12    any later version.
  13
  14    This program is distributed in the hope that it will be useful,
  15    but WITHOUT ANY WARRANTY; without even the implied warranty of
  16    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17    GNU General Public License for more details.
  18
  19    You should have received a copy of the GNU General Public License
  20    along with this program; if not, write to the Free Software
  21    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  22
  23    Written by Brian Fox (bfox@ai.mit.edu). */
  24
  25 #ifndef INFO_DISPLAY_H
  26 #define INFO_DISPLAY_H
  27
  28 #include "info-utils.h"
  29 #include "terminal.h"
  30
  31 typedef struct {
  32   char *text;                   /* Text of the line as it appears. */
  33   int textlen;                  /* Printable Length of TEXT. */
  34   int inverse;                  /* Non-zero means this line is inverse. */
  35 } DISPLAY_LINE;
  36
  37 /* An array of display lines which tell us what is currently visible on
  38    the display.  */
  39 extern DISPLAY_LINE **the_display;
  40
  41 /* Non-zero means do no output. */
  42 extern int display_inhibited;
  43
  44 /* Non-zero if we didn't completely redisplay a window. */
  45 extern int display_was_interrupted_p;
  46
  47 /* Initialize THE_DISPLAY to WIDTH and HEIGHT, with nothing in it. */
  48 extern void display_initialize_display (int width, int height);
  49
  50 /* Clear all of the lines in DISPLAY making the screen blank. */
  51 extern void display_clear_display (DISPLAY_LINE **display);
  52
  53 /* Update the windows pointed to by WINDOWS in THE_DISPLAY.  This actually
  54    writes the text on the screen. */
  55 extern void display_update_display (WINDOW *window);
  56
  57 /* Display WIN on THE_DISPLAY.  Unlike display_update_display (), this
  58    function only does one window. */
  59 extern void display_update_one_window (WINDOW *win);
  60
  61 /* Move the screen cursor to directly over the current character in WINDOW. */
  62 extern void display_cursor_at_point (WINDOW *window);
  63
  64 /* Scroll the region of the_display starting at START, ending at END, and
  65    moving the lines AMOUNT lines.  If AMOUNT is less than zero, the lines
  66    are moved up in the screen, otherwise down.  Actually, it is possible
  67    for no scrolling to take place in the case that the terminal doesn't
  68    support it.  This doesn't matter to us. */
  69 extern void display_scroll_display (int start, int end, int amount);
  70
  71 /* Try to scroll lines in WINDOW.  OLD_PAGETOP is the pagetop of WINDOW before
  72    having had its line starts recalculated.  OLD_STARTS is the list of line
  73    starts that used to appear in this window.  OLD_COUNT is the number of lines
  74    that appear in the OLD_STARTS array. */
  75 extern void display_scroll_line_starts (WINDOW *window, int old_pagetop,
  76     char **old_starts, int old_count);
  77
  78 #endif /* not INFO_DISPLAY_H */