Back to index

texmacs  1.0.7.15
vars.cpp
Go to the documentation of this file.
00001 
00002 /******************************************************************************
00003 * MODULE     : vars.cpp
00004 * DESCRIPTION: the environment variables
00005 * COPYRIGHT  : (C) 1999  Joris van der Hoeven
00006 *******************************************************************************
00007 * This software falls under the GNU general public license version 3 or later.
00008 * It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
00009 * in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
00010 ******************************************************************************/
00011 
00012 #include "vars.hpp"
00013 
00014 /******************************************************************************
00015 * Various important environment variables
00016 ******************************************************************************/
00017 
00018 string DPI ("dpi");
00019 string SFACTOR ("sfactor");
00020 string PREAMBLE ("preamble");
00021 string SAVE_AUX ("save-aux");
00022 string MODE ("mode");
00023 string INFO_FLAG ("info-flag");
00024 string WINDOW_BARS ("window-bars");
00025 string SCROLL_BARS ("scroll-bars");
00026 string IDENTITY ("identity");
00027 string TABULAR ("tabular");
00028 string THE_LABEL ("the-label");
00029 string THE_TAGS ("the-tags");
00030 string THE_MODULES ("the-modules");
00031 
00032 /******************************************************************************
00033 * Text properties for tex, math and prog modes
00034 ******************************************************************************/
00035 
00036 string FONT ("font");
00037 string FONT_FAMILY ("font-family");
00038 string FONT_SERIES ("font-series");
00039 string FONT_SHAPE ("font-shape");
00040 string FONT_SIZE ("font-size");
00041 string FONT_BASE_SIZE ("font-base-size");
00042 string MAGNIFICATION ("magnification");
00043 string COLOR ("color");
00044 string OPACITY ("opacity");
00045 string BG_COLOR ("bg-color");
00046 string LOCUS_COLOR ("locus-color");
00047 string VISITED_COLOR ("visited-color");
00048 string LANGUAGE ("language");
00049 string ATOM_DECORATIONS ("atom-decorations");
00050 string LINE_DECORATIONS ("line-decorations");
00051 string PAGE_DECORATIONS ("page-decorations");
00052 string XOFF_DECORATIONS ("xoff-decorations");
00053 string YOFF_DECORATIONS ("yoff-decorations");
00054 
00055 string MATH_LANGUAGE ("math-language");
00056 string MATH_FONT ("math-font");
00057 string MATH_FONT_FAMILY ("math-font-family");
00058 string MATH_FONT_SERIES ("math-font-series");
00059 string MATH_FONT_SHAPE ("math-font-shape");
00060 string MATH_LEVEL ("math-level");
00061 string MATH_DISPLAY ("math-display");
00062 string MATH_CONDENSED ("math-condensed");
00063 string MATH_VPOS ("math-vpos");
00064 string MATH_NESTING_MODE ("math-nesting-mode");
00065 string MATH_NESTING_LEVEL ("math-nesting-level");
00066 
00067 string PROG_LANGUAGE ("prog-language");
00068 string PROG_SCRIPTS ("prog-scripts");
00069 string PROG_FONT ("prog-font");
00070 string PROG_FONT_FAMILY ("prog-font-family");
00071 string PROG_FONT_SERIES ("prog-font-series");
00072 string PROG_FONT_SHAPE ("prog-font-shape");
00073 string PROG_SESSION ("prog-session");
00074 
00075 /******************************************************************************
00076 * Environment variables for paragraphs
00077 ******************************************************************************/
00078 
00079 string PAR_MODE ("par-mode");
00080 string PAR_FLEXIBILITY ("par-flexibility");
00081 string PAR_HYPHEN ("par-hyphen");
00082 string PAR_WIDTH ("par-width");
00083 string PAR_LEFT ("par-left");
00084 string PAR_RIGHT ("par-right");
00085 string PAR_FIRST ("par-first");
00086 string PAR_NO_FIRST ("par-no-first");
00087 string PAR_SEP ("par-sep");
00088 string PAR_HOR_SEP ("par-hor-sep");
00089 string PAR_VER_SEP ("par-ver-sep");
00090 string PAR_LINE_SEP ("par-line-sep");
00091 string PAR_PAR_SEP ("par-par-sep");
00092 string PAR_FNOTE_SEP ("par-fnote-sep");
00093 string PAR_COLUMNS ("par-columns");
00094 string PAR_COLUMNS_SEP ("par-columns-sep");
00095 
00096 /******************************************************************************
00097 * Environment variables for pages
00098 ******************************************************************************/
00099 
00100 string PAGE_MEDIUM ("page-medium");
00101 string PAGE_PRINTED ("page-printed");
00102 string PAGE_TYPE ("page-type");
00103 string PAGE_ORIENTATION ("page-orientation");
00104 string PAGE_WIDTH_MARGIN ("page-width-margin");
00105 string PAGE_HEIGHT_MARGIN ("page-height-margin");
00106 string PAGE_SCREEN_MARGIN ("page-screen-margin");
00107 string PAGE_BREAKING ("page-breaking");
00108 string PAGE_FLEXIBILITY ("page-flexibility");
00109 string PAGE_NR ("page-nr");
00110 string PAGE_THE_PAGE ("page-the-page");
00111 string PAGE_WIDTH ("page-width");
00112 string PAGE_HEIGHT ("page-height");
00113 string PAGE_ODD ("page-odd");
00114 string PAGE_EVEN ("page-even");
00115 string PAGE_RIGHT ("page-right");
00116 string PAGE_ODD_SHIFT ("page-odd-shift");
00117 string PAGE_EVEN_SHIFT ("page-even-shift");
00118 string PAGE_TOP ("page-top");
00119 string PAGE_BOT ("page-bot");
00120 string PAGE_USER_HEIGHT ("page-user-height");
00121 string PAGE_EXTEND ("page-extend");
00122 string PAGE_SHRINK ("page-shrink");
00123 string PAGE_HEAD_SEP ("page-head-sep");
00124 string PAGE_FOOT_SEP ("page-foot-sep");
00125 string PAGE_ODD_HEADER ("page-odd-header");
00126 string PAGE_ODD_FOOTER ("page-odd-footer");
00127 string PAGE_EVEN_HEADER ("page-even-header");
00128 string PAGE_EVEN_FOOTER ("page-even-footer");
00129 string PAGE_THIS_HEADER ("page-this-header");
00130 string PAGE_THIS_FOOTER ("page-this-footer");
00131 string PAGE_SCREEN_WIDTH ("page-screen-width");
00132 string PAGE_SCREEN_HEIGHT ("page-screen-height");
00133 string PAGE_SCREEN_LEFT ("page-screen-left");
00134 string PAGE_SCREEN_RIGHT ("page-screen-right");
00135 string PAGE_SCREEN_TOP ("page-screen-top");
00136 string PAGE_SCREEN_BOT ("page-screen-bot");
00137 string PAGE_SHOW_HF ("page-show-hf");
00138 string PAGE_FNOTE_SEP ("page-fnote-sep");
00139 string PAGE_FNOTE_BARLEN ("page-fnote-barlen");
00140 string PAGE_FLOAT_SEP ("page-float-sep");
00141 string PAGE_MNOTE_SEP ("page-mnote-sep");
00142 string PAGE_MNOTE_WIDTH ("page-mnote-width");
00143 
00144 /******************************************************************************
00145 * Environment variables for tables
00146 ******************************************************************************/
00147 
00148 string TABLE_WIDTH ("table-width");
00149 string TABLE_HEIGHT ("table-height");
00150 string TABLE_HMODE ("table-hmode");
00151 string TABLE_VMODE ("table-vmode");
00152 string TABLE_HALIGN ("table-halign");
00153 string TABLE_VALIGN ("table-valign");
00154 string TABLE_ROW_ORIGIN ("table-row-origin");
00155 string TABLE_COL_ORIGIN ("table-col-origin");
00156 string TABLE_LSEP ("table-lsep");
00157 string TABLE_RSEP ("table-rsep");
00158 string TABLE_BSEP ("table-bsep");
00159 string TABLE_TSEP ("table-tsep");
00160 string TABLE_LBORDER ("table-lborder");
00161 string TABLE_RBORDER ("table-rborder");
00162 string TABLE_BBORDER ("table-bborder");
00163 string TABLE_TBORDER ("table-tborder");
00164 string TABLE_HYPHEN ("table-hyphen");
00165 string TABLE_MIN_ROWS ("table-min-rows");
00166 string TABLE_MIN_COLS ("table-min-cols");
00167 string TABLE_MAX_ROWS ("table-max-rows");
00168 string TABLE_MAX_COLS ("table-max-cols");
00169 
00170 /******************************************************************************
00171 * Environment variables for cells of tables
00172 ******************************************************************************/
00173 
00174 string CELL_FORMAT ("cell-format");
00175 string CELL_DECORATION ("cell-decoration");
00176 string CELL_BACKGROUND ("cell-background");
00177 string CELL_ORIENTATION ("cell-orientation");
00178 string CELL_WIDTH ("cell-width");
00179 string CELL_HEIGHT ("cell-height");
00180 string CELL_HPART ("cell-hpart");
00181 string CELL_VPART ("cell-vpart");
00182 string CELL_HMODE ("cell-hmode");
00183 string CELL_VMODE ("cell-vmode");
00184 string CELL_HALIGN ("cell-halign");
00185 string CELL_VALIGN ("cell-valign");
00186 string CELL_LSEP ("cell-lsep");
00187 string CELL_RSEP ("cell-rsep");
00188 string CELL_BSEP ("cell-bsep");
00189 string CELL_TSEP ("cell-tsep");
00190 string CELL_LBORDER ("cell-lborder");
00191 string CELL_RBORDER ("cell-rborder");
00192 string CELL_BBORDER ("cell-bborder");
00193 string CELL_TBORDER ("cell-tborder");
00194 string CELL_VCORRECT ("cell-vcorrect");
00195 string CELL_HYPHEN ("cell-hyphen");
00196 string CELL_BLOCK ("cell-block");
00197 string CELL_ROW_SPAN ("cell-row-span");
00198 string CELL_COL_SPAN ("cell-col-span");
00199 string CELL_ROW_NR ("cell-row-nr");
00200 string CELL_COL_NR ("cell-col-nr");
00201 
00202 /******************************************************************************
00203 * Environment variables for graphics
00204 ******************************************************************************/
00205 
00206 string GR_GEOMETRY ("gr-geometry");
00207 string GR_FRAME ("gr-frame");
00208 string GR_MODE ("gr-mode");
00209 string GR_AUTO_CROP ("gr-auto-crop");
00210 string GR_CROP_PADDING ("gr-crop-padding");
00211 string GR_GRID ("gr-grid");
00212 string GR_GRID_ASPECT ("gr-grid-aspect");
00213 string GR_EDIT_GRID ("gr-edit-grid");
00214 string GR_EDIT_GRID_ASPECT ("gr-edit-grid-aspect");
00215 
00216 string GR_MAGNIFY ("gr-magnify");
00217 string GR_OPACITY ("gr-opacity");
00218 string GR_COLOR ("gr-color");
00219 string GR_POINT_STYLE ("gr-point-style");
00220 string GR_LINE_WIDTH ("gr-line-width");
00221 string GR_LINE_JOIN ("gr-line-join");
00222 string GR_LINE_CAPS ("gr-line-caps");
00223 string GR_LINE_EFFECTS ("gr-line-effects");
00224 string GR_DASH_STYLE ("gr-dash-style");
00225 string GR_DASH_STYLE_UNIT ("gr-dash-style-unit");
00226 string GR_ARROW_BEGIN ("gr-arrow-begin");
00227 string GR_ARROW_END ("gr-arrow-end");
00228 string GR_ARROW_LENGTH ("gr-arrow-length");
00229 string GR_ARROW_HEIGHT ("gr-arrow-height");
00230 string GR_FILL_COLOR ("gr-fill-color");
00231 string GR_FILL_STYLE ("gr-fill-style");
00232 string GR_TEXT_AT_HALIGN ("gr-text-at-halign");
00233 string GR_TEXT_AT_VALIGN ("gr-text-at-valign");
00234 string GR_TEXT_AT_MARGIN ("gr-text-at-margin");
00235 
00236 string GID ("gid");
00237 string MAGNIFY ("magnify");
00238 string POINT_STYLE ("point-style");
00239 string LINE_WIDTH ("line-width");
00240 string LINE_JOIN ("line-join");
00241 string LINE_CAPS ("line-caps");
00242 string LINE_EFFECTS ("line-effects");
00243 string DASH_STYLE ("dash-style");
00244 string DASH_STYLE_UNIT ("dash-style-unit");
00245 string ARROW_BEGIN ("arrow-begin");
00246 string ARROW_END ("arrow-end");
00247 string ARROW_LENGTH ("arrow-length");
00248 string ARROW_HEIGHT ("arrow-height");
00249 string FILL_COLOR ("fill-color");
00250 string FILL_STYLE ("fill-style");
00251 string TEXT_AT_HALIGN ("text-at-halign");
00252 string TEXT_AT_VALIGN ("text-at-valign");
00253 string TEXT_AT_MARGIN ("text-at-margin");
00254 
00255 /******************************************************************************
00256 * Environment variables for preamble mode
00257 ******************************************************************************/
00258 
00259 string SRC_STYLE ("src-style");
00260 string SRC_SPECIAL ("src-special");
00261 string SRC_COMPACT ("src-compact");
00262 string SRC_CLOSE ("src-close");
00263 
00264 /******************************************************************************
00265 * Environment variables for the graphical user interface
00266 ******************************************************************************/
00267 
00268 string CANVAS_TYPE ("canvas-type");
00269 string CANVAS_COLOR ("canvas-color");
00270 string CANVAS_HPADDING ("canvas-hpadding");
00271 string CANVAS_VPADDING ("canvas-vpadding");
00272 string CANVAS_BAR_WIDTH ("canvas-bar-width");
00273 string CANVAS_BAR_PADDING ("canvas-bar-padding");
00274 string CANVAS_BAR_COLOR ("canvas-bar-color");
00275 string ORNAMENT_SHAPE ("ornament-shape");
00276 string ORNAMENT_BORDER ("ornament-border");
00277 string ORNAMENT_HPADDING ("ornament-hpadding");
00278 string ORNAMENT_VPADDING ("ornament-vpadding");
00279 string ORNAMENT_COLOR ("ornament-color");
00280 string ORNAMENT_SUNNY_COLOR ("ornament-sunny-color");
00281 string ORNAMENT_SHADOW_COLOR ("ornament-shadow-color");