[Texmacs-dev] [Important for schemers] Renaming of environment variables

[Joris van der Hoeven]

Hi *,

Most environment variables have been renamed, so as

  1) To replace " " by "-" inside names (spaces in names can
     lead to subtle bugs when writing converters, so this really
     had to be done).

  2) Let names match with their C++ names (i.e. PAR_LEFT <-> "par-left").

  3) Perform some minor reorganizations.

ATTENTION! if your scheme code explicitly generates trees with
environment variables, then it is very likely that you have to
do the necessary replacements. You may find the emacs code
below useful for this.

I am sorry for the inconvenience, but this had to be done before
we could declare the TeXmacs tags and environment variables stable.
Indeed, from now on, the TeXmacs document format should be rather stable.
David promised me to document the built-in tags and environment variables
soon so that it will be safe from now on to use them in programs.

A few changes might still occur in the future, but they should be
far more "localized", i.e. only concern specific parts of TeXmacs,
like tables. Of course, their will also be additions :^)

Best wishes, Joris


---------------------------------------------------------------------
(defun my-replace ()
  "my query replace"
  (interactive)
  (beginning-of-buffer)
  (query-replace "\"shrinking factor\"" "\"sfactor\"")
  (beginning-of-buffer)
  (query-replace "\"info flag\"" "\"info-flag\"")
  (beginning-of-buffer)
  (query-replace "\"font family\"" "\"font-family\"")
  (beginning-of-buffer)
  (query-replace "\"font series\"" "\"font-series\"")
  (beginning-of-buffer)
  (query-replace "\"font shape\"" "\"font-shape\"")
  (beginning-of-buffer)
  (query-replace "\"font base size\"" "\"font-base-size\"")
  (beginning-of-buffer)
  (query-replace "\"font size\"" "\"font-size\"")
  (beginning-of-buffer)
  (query-replace "\"background color\"" "\"bg-color\"")
  (beginning-of-buffer)
  (query-replace "\"atom decorations\"" "\"atom-decorations\"")
  (beginning-of-buffer)
  (query-replace "\"line decorations\"" "\"line-decorations\"")
  (beginning-of-buffer)
  (query-replace "\"page decorations\"" "\"page-decorations\"")
  (beginning-of-buffer)
  (query-replace "\"xoff decorations\"" "\"xoff-decorations\"")
  (beginning-of-buffer)
  (query-replace "\"yoff decorations\"" "\"yoff-decorations\"")
  (beginning-of-buffer)
  (query-replace "\"math language\"" "\"math-language\"")
  (beginning-of-buffer)
  (query-replace "\"math font family\"" "\"math-font-family\"")
  (beginning-of-buffer)
  (query-replace "\"math font series\"" "\"math-font-series\"")
  (beginning-of-buffer)
  (query-replace "\"math font shape\"" "\"math-font-shape\"")
  (beginning-of-buffer)
  (query-replace "\"math font\"" "\"math-font\"")
  (beginning-of-buffer)
  (query-replace "\"index level\"" "\"math-level\"")
  (beginning-of-buffer)
  (query-replace "\"formula style\"" "\"math-display\"")
  (beginning-of-buffer)
  (query-replace "\"math condensed\"" "\"math-condensed\"")
  (beginning-of-buffer)
  (query-replace "\"vertical position\"" "\"math-vpos\"")
  (beginning-of-buffer)
  (query-replace "\"prog language\"" "\"prog-language\"")
  (beginning-of-buffer)
  (query-replace "\"prog font family\"" "\"prog-font-family\"")
  (beginning-of-buffer)
  (query-replace "\"prog font series\"" "\"prog-font-series\"")
  (beginning-of-buffer)
  (query-replace "\"prog font shape\"" "\"prog-font-shape\"")
  (beginning-of-buffer)
  (query-replace "\"prog font\"" "\"prog-font\"")
  (beginning-of-buffer)
  (query-replace "\"this session\"" "\"prog-session\"")
  (beginning-of-buffer)
  (query-replace "\"paragraph mode\"" "\"par-mode\"")
  (beginning-of-buffer)
  (query-replace "\"paragraph hyphenation\"" "\"par-hyphen\"")
  (beginning-of-buffer)
  (query-replace "\"paragraph width\"" "\"par-width\"")
  (beginning-of-buffer)
  (query-replace "\"left margin\"" "\"par-left\"")
  (beginning-of-buffer)
  (query-replace "\"right margin\"" "\"par-right\"")
  (beginning-of-buffer)
  (query-replace "\"first indentation\"" "\"par-first\"")
  (beginning-of-buffer)
  (query-replace "\"no first indentation\"" "\"par-no-first\"")
  (beginning-of-buffer)
  (query-replace "\"interline space\"" "\"par-sep\"")
  (beginning-of-buffer)
  (query-replace "\"horizontal ink separation\"" "\"par-hor-sep\"")
  (beginning-of-buffer)
  (query-replace "\"line stretch\"" "\"par-line-sep\"")
  (beginning-of-buffer)
  (query-replace "\"interparagraph space\"" "\"par-par-sep\"")
  (beginning-of-buffer)
  (query-replace "\"interfootnote space\"" "\"par-fnote-sep\"")
  (beginning-of-buffer)
  (query-replace "\"nr columns\"" "\"par-columns\"")
  (beginning-of-buffer)
  (query-replace "\"column separation\"" "\"par-columns-sep\"")
  (beginning-of-buffer)
  (query-replace "\"page medium\"" "\"page-medium\"")
  (beginning-of-buffer)
  (query-replace "\"page type\"" "\"page-type\"")
  (beginning-of-buffer)
  (query-replace "\"page orientation\"" "\"page-orientation\"")
  (beginning-of-buffer)
  (query-replace "\"page breaking\"" "\"page-breaking\"")
  (beginning-of-buffer)
  (query-replace "\"page flexibility\"" "\"page-flexibility\"")
  (beginning-of-buffer)
  (query-replace "\"page number\"" "\"page-nr\"")
  (beginning-of-buffer)
  (query-replace "\"thepage\"" "\"page-the-page\"")
  (beginning-of-buffer)
  (query-replace "\"page width\"" "\"page-width\"")
  (beginning-of-buffer)
  (query-replace "\"page height\"" "\"page-height\"")
  (beginning-of-buffer)
  (query-replace "\"odd page margin\"" "\"page-odd\"")
  (beginning-of-buffer)
  (query-replace "\"even page margin\"" "\"page-even\"")
  (beginning-of-buffer)
  (query-replace "\"page right margin\"" "\"page-right\"")
  (beginning-of-buffer)
  (query-replace "\"page top margin\"" "\"page-top\"")
  (beginning-of-buffer)
  (query-replace "\"page bottom margin\"" "\"page-bot\"")
  (beginning-of-buffer)
  (query-replace "\"page extend\"" "\"page-extend\"")
  (beginning-of-buffer)
  (query-replace "\"page shrink\"" "\"page-shrink\"")
  (beginning-of-buffer)
  (query-replace "\"page header separation\"" "\"page-head-sep\"")
  (beginning-of-buffer)
  (query-replace "\"page footer separation\"" "\"page-foot-sep\"")
  (beginning-of-buffer)
  (query-replace "\"odd page header\"" "\"page-odd-header\"")
  (beginning-of-buffer)
  (query-replace "\"odd page footer\"" "\"page-odd-footer\"")
  (beginning-of-buffer)
  (query-replace "\"even page header\"" "\"page-even-header\"")
  (beginning-of-buffer)
  (query-replace "\"even page footer\"" "\"page-even-footer\"")
  (beginning-of-buffer)
  (query-replace "\"this page header\"" "\"page-this-header\"")
  (beginning-of-buffer)
  (query-replace "\"this page footer\"" "\"page-this-footer\"")
  (beginning-of-buffer)
  (query-replace "\"reduction page left margin\"" "\"page-reduce-left\"")
  (beginning-of-buffer)
  (query-replace "\"reduction page right margin\"" "\"page-reduce-right\"")
  (beginning-of-buffer)
  (query-replace "\"reduction page top margin\"" "\"page-reduce-top\"")
  (beginning-of-buffer)
  (query-replace "\"reduction page bottom margin\"" "\"page-reduce-bot\"")
  (beginning-of-buffer)
  (query-replace "\"show header and footer\"" "\"page-show-hf\"")
  (beginning-of-buffer)
  (query-replace "\"footnote separation\"" "\"page-fnote-sep\"")
  (beginning-of-buffer)
  (query-replace "\"footnote bar length\"" "\"page-fnote-barlen\"")
  (beginning-of-buffer)
  (query-replace "\"float separation\"" "\"page-float-sep\"")
  (beginning-of-buffer)
  (query-replace "\"marginal note separation\"" "\"page-mnote-sep\"")
  (beginning-of-buffer)
  (query-replace "\"marginal note width\"" "\"page-mnote-width\"")
  (beginning-of-buffer)
  (query-replace "\"table width\"" "\"table-width\"")
  (beginning-of-buffer)
  (query-replace "\"table height\"" "\"table-height\"")
  (beginning-of-buffer)
  (query-replace "\"table hmode\"" "\"table-hmode\"")
  (beginning-of-buffer)
  (query-replace "\"table vmode\"" "\"table-vmode\"")
  (beginning-of-buffer)
  (query-replace "\"table halign\"" "\"table-halign\"")
  (beginning-of-buffer)
  (query-replace "\"table valign\"" "\"table-valign\"")
  (beginning-of-buffer)
  (query-replace "\"table row origin\"" "\"table-row-origin\"")
  (beginning-of-buffer)
  (query-replace "\"table col origin\"" "\"table-col-origin\"")
  (beginning-of-buffer)
  (query-replace "\"table lsep\"" "\"table-lsep\"")
  (beginning-of-buffer)
  (query-replace "\"table rsep\"" "\"table-rsep\"")
  (beginning-of-buffer)
  (query-replace "\"table bsep\"" "\"table-bsep\"")
  (beginning-of-buffer)
  (query-replace "\"table tsep\"" "\"table-tsep\"")
  (beginning-of-buffer)
  (query-replace "\"table lborder\"" "\"table-lborder\"")
  (beginning-of-buffer)
  (query-replace "\"table rborder\"" "\"table-rborder\"")
  (beginning-of-buffer)
  (query-replace "\"table bborder\"" "\"table-bborder\"")
  (beginning-of-buffer)
  (query-replace "\"table tborder\"" "\"table-tborder\"")
  (beginning-of-buffer)
  (query-replace "\"table hyphen\"" "\"table-hyphen\"")
  (beginning-of-buffer)
  (query-replace "\"table min rows\"" "\"table-min-rows\"")
  (beginning-of-buffer)
  (query-replace "\"table min cols\"" "\"table-min-cols\"")
  (beginning-of-buffer)
  (query-replace "\"table max rows\"" "\"table-max-rows\"")
  (beginning-of-buffer)
  (query-replace "\"table max cols\"" "\"table-max-cols\"")
  (beginning-of-buffer)
  (query-replace "\"cell format\"" "\"cell-format\"")
  (beginning-of-buffer)
  (query-replace "\"cell decoration\"" "\"cell-decoration\"")
  (beginning-of-buffer)
  (query-replace "\"cell background\"" "\"cell-background\"")
  (beginning-of-buffer)
  (query-replace "\"cell orientation\"" "\"cell-orientation\"")
  (beginning-of-buffer)
  (query-replace "\"cell width\"" "\"cell-width\"")
  (beginning-of-buffer)
  (query-replace "\"cell height\"" "\"cell-height\"")
  (beginning-of-buffer)
  (query-replace "\"cell hpart\"" "\"cell-hpart\"")
  (beginning-of-buffer)
  (query-replace "\"cell vpart\"" "\"cell-vpart\"")
  (beginning-of-buffer)
  (query-replace "\"cell hmode\"" "\"cell-hmode\"")
  (beginning-of-buffer)
  (query-replace "\"cell vmode\"" "\"cell-vmode\"")
  (beginning-of-buffer)
  (query-replace "\"cell halign\"" "\"cell-halign\"")
  (beginning-of-buffer)
  (query-replace "\"cell valign\"" "\"cell-valign\"")
  (beginning-of-buffer)
  (query-replace "\"cell lsep\"" "\"cell-lsep\"")
  (beginning-of-buffer)
  (query-replace "\"cell rsep\"" "\"cell-rsep\"")
  (beginning-of-buffer)
  (query-replace "\"cell bsep\"" "\"cell-bsep\"")
  (beginning-of-buffer)
  (query-replace "\"cell tsep\"" "\"cell-tsep\"")
  (beginning-of-buffer)
  (query-replace "\"cell lborder\"" "\"cell-lborder\"")
  (beginning-of-buffer)
  (query-replace "\"cell rborder\"" "\"cell-rborder\"")
  (beginning-of-buffer)
  (query-replace "\"cell bborder\"" "\"cell-bborder\"")
  (beginning-of-buffer)
  (query-replace "\"cell tborder\"" "\"cell-tborder\"")
  (beginning-of-buffer)
  (query-replace "\"cell vcorrect\"" "\"cell-vcorrect\"")
  (beginning-of-buffer)
  (query-replace "\"cell hyphen\"" "\"cell-hyphen\"")
  (beginning-of-buffer)
  (query-replace "\"cell row span\"" "\"cell-row-span\"")
  (beginning-of-buffer)
  (query-replace "\"cell col span\"" "\"cell-col-span\"")
  (beginning-of-buffer)
  (query-replace "\"cell row nr\"" "\"cell-row-nr\"")
  (beginning-of-buffer)
  (query-replace "\"cell col nr\"" "\"cell-col-nr\"")
  (beginning-of-buffer)
  (query-replace "\"line width\"" "\"line-width\"")
  (beginning-of-buffer)
  (query-replace "\"line style\"" "\"line-style\"")
  (beginning-of-buffer)
  (query-replace "\"line arrows\"" "\"line-arrows\"")
  (beginning-of-buffer)
  (query-replace "\"line caps\"" "\"line-caps\"")
  (beginning-of-buffer)
  (query-replace "\"fill mode\"" "\"fill-mode\"")
  (beginning-of-buffer)
  (query-replace "\"fill color\"" "\"fill-color\"")
  (beginning-of-buffer)
  (query-replace "\"fill style\"" "\"fill-style\"")
  (beginning-of-buffer)
  (query-replace "\"graphical frame\"" "\"gr-frame\"")
  (beginning-of-buffer)
  (query-replace "\"graphical clip\"" "\"gr-clip\"")
  (beginning-of-buffer)
  (query-replace "\"graphical mode\"" "\"gr-mode\"")
  (beginning-of-buffer)
  (query-replace "\"graphical color\"" "\"gr-color\"")
  (beginning-of-buffer)
  (query-replace "\"graphical line width\"" "\"gr-line-width\"")
  (beginning-of-buffer))

(global-set-key [f5] 'my-replace)