"Fossies" - the Fresh Open Source Software Archive

Member "TeXmacs-2.1.2-src/TeXmacs/packages/environment/env-float.ts" (5 May 2022, 10743 Bytes) of package /linux/misc/TeXmacs-2.1.2-src.tar.gz:

As a special service "Fossies" has tried to format the requested source page into HTML format using (guessed) TypeScript source code syntax highlighting (style: standard) with prefixed line numbers and code folding option. Alternatively you can here view or download the uninterpreted source code file. See also the latest Fossies "Diffs" side-by-side code changes report for "env-float.ts": 2.1.1_vs_2.1.2.

A hint: This file contains one or more very long lines, so maybe it is better readable using the pure text view mode that shows the contents as wrapped lines within the browser window.

    1 <TeXmacs|2.1.1>
    2 
    3 <style|source>
    4 
    5 <\body>
    6   <active*|<\src-title>
    7     <src-package|env-float|1.0>
    8 
    9     <\src-purpose>
   10       Environments for floating content.
   11     </src-purpose>
   12 
   13     <src-copyright|1998--2004|Joris van der Hoeven>
   14 
   15     <\src-license>
   16       This software falls under the <hlink|GNU general public license,
   17       version 3 or later|$TEXMACS_PATH/LICENSE>. It comes WITHOUT ANY
   18       WARRANTY WHATSOEVER. You should have received a copy of the license
   19       which the software. If not, see <hlink|http://www.gnu.org/licenses/gpl-3.0.html|http://www.gnu.org/licenses/gpl-3.0.html>.
   20     </src-license>
   21   </src-title>>
   22 
   23   <\active*>
   24     <\src-comment>
   25       Style parameters
   26     </src-comment>
   27   </active*>
   28 
   29   <assign|figure-width|1par>
   30 
   31   <assign|figure-left-padding|0spc>
   32 
   33   <assign|figure-right-padding|0spc>
   34 
   35   <assign|figure-caption-sep|0.5fn>
   36 
   37   <assign|caption-left-padding|1.5fn>
   38 
   39   <assign|caption-right-padding|1.5fn>
   40 
   41   \;
   42 
   43   <assign|figure-name|<macro|name|<with|font-series|bold|<arg|name>>>>
   44 
   45   <assign|figure-sep|<macro|. >>
   46 
   47   <assign|footnote-sep|<macro|. >>
   48 
   49   \;
   50 
   51   <drd-props|figure-sep|macro-parameter|string>
   52 
   53   <drd-props|footnote-sep|macro-parameter|string>
   54 
   55   <\active*>
   56     <\src-comment>
   57       Detailed and summarized captions
   58     </src-comment>
   59   </active*>
   60 
   61   <assign|caption-detailed|<\macro|long|short>
   62     <arg|long>
   63   </macro>>
   64 
   65   <assign|caption-summarized|<\macro|long|short>
   66     <arg|short>
   67   </macro>>
   68 
   69   <drd-props|caption-detailed|arity|2|accessible|0|border|no>
   70 
   71   <drd-props|caption-summarized|arity|2|accessible|1|border|no>
   72 
   73   <assign|list-prefix|<macro|type|<if|<provides|<merge|<arg|type>|-list-prefix>>|<value|<merge|<arg|type>|-list-prefix>>|<arg|type>>>>
   74 
   75   <assign|list-caption|<macro|type|cap|<with|caption-detailed|<value|caption-summarized>|<style-with|src-compact|none|<auto-label><write|<list-prefix|<arg|type>>|<tuple|normal|<arg|cap>|<pageref|<the-auto>>>>>>>>
   76 
   77   <assign|render-caption|<\macro|type|name|cap>
   78     <\html-div-class|caption>
   79       <small|<\surround|<figure-name|<arg|name><figure-sep>><list-caption|<arg|type>|<arg|cap>>|>
   80         <arg|cap>
   81       </surround>>
   82     </html-div-class>
   83   </macro>>
   84 
   85   <\active*>
   86     <\src-comment>
   87       Figure-like environments.
   88     </src-comment>
   89   </active*>
   90 
   91   <assign|render-small-figure|<macro|type|name|fig|cap|<tabular*|<tformat|<cwith|1|-1|1|-1|cell-lsep|0spc>|<cwith|1|-1|1|-1|cell-rsep|0spc>|<cwith|2|2|1|1|cell-height|0.5fn>|<twith|table-valign|B>|<cwith|3|3|1|1|cell-hyphen|t>|<twith|table-width|1par>|<twith|table-hmode|min>|<table|<row|<cell|<resize|<arg|fig>|<minus|1l|2fn>||<plus|1r|2fn>|>>>|<row|<cell|>>|<row|<\cell>
   92     <render-caption|<arg|type>|<arg|name>|<arg|cap>>
   93   </cell>>>>>>>
   94 
   95   <assign|render-big-figure|<\macro|type|name|fig|cap>
   96     <padded-normal|1fn|1fn|<tabular*|<tformat|<twith|table-width|<value|figure-width>>|<cwith|3|3|1|1|cell-hyphen|t>|<cwith|1|-1|1|-1|cell-lsep|<value|figure-left-padding>>|<cwith|1|-1|1|-1|cell-rsep|<value|figure-right-padding>>|<cwith|2|2|1|1|cell-height|<value|figure-caption-sep>>|<cwith|3|3|1|1|cell-lsep|<value|caption-left-padding>>|<cwith|3|3|1|1|cell-rsep|<value|caption-right-padding>>|<table|<row|<cell|<arg|fig>>>|<row|<cell|>>|<row|<\cell>
   97       <render-caption|<arg|type>|<arg|name>|<arg|cap>>
   98     </cell>>>>>>
   99   </macro>>
  100 
  101   <assign|figure-list-prefix|figure>
  102 
  103   <assign|with-figure-list|<macro|lof|body|<with|figure-list-prefix|<arg|lof>|<arg|body>>>>
  104 
  105   <assign|table-list-prefix|table>
  106 
  107   <assign|with-table-list|<macro|lot|body|<with|table-list-prefix|<arg|lot>|<arg|body>>>>
  108 
  109   <new-figure|figure|Figure>
  110 
  111   <new-figure|table|Table>
  112 
  113   <\active*>
  114     <\src-comment>
  115       Footnotes.
  116     </src-comment>
  117   </active*>
  118 
  119   <assign|render-footnote*|<macro|sym|nr|body|<style-with|src-compact|none|<\float|footnote|>
  120     <\style-with|src-compact|none>
  121       <smaller|<with|par-mode|justify|par-left|0cm|par-right|0cm|font-shape|right|dummy|<value|page-fnote-sep>|dummy|<value|page-fnote-barlen>|<style-with|src-compact|none|<surround|<locus|<id|<hard-id|<arg|body>>>|<link|hyperlink|<id|<hard-id|<arg|body>>>|<url|<merge|#footnr-|<arg|nr>>>>|<arg|sym>><footnote-sep>|<set-binding|<merge|footnote-|<arg|nr>>|<value|the-label>|body><right-flush>|<style-with|src-compact|none|<arg|body>>>>>>
  122     </style-with>
  123   </float>>>>
  124 
  125   <assign|render-footnote|<macro|nr|body|<render-footnote*|<arg|nr>|<arg|nr>|<arg|body>>>>
  126 
  127   <assign|footnote|<macro|body|<style-with|src-compact|none|<next-footnote><render-footnote|<the-footnote>|<arg|body>><space|0spc><label|<merge|footnr-|<the-footnote>>><rsup|<with|font-shape|right|<reference|<merge|footnote-|<the-footnote>>>>>>>>
  128 
  129   <\active*>
  130     <\src-comment>
  131       Customized notes.
  132     </src-comment>
  133   </active*>
  134 
  135   <assign|custom-note-text|<\macro|sym|id|body>
  136     <\style-with|src-compact|none>
  137       <style-with|src-compact|none|||<\surround|<locus|<id|<merge|dest-abbr-|<arg|id>>>|<link|footnote-source|<id|<merge|dest-abbr-|<arg|id>>>|<id|<merge|source-|<arg|id>>>>|<arg|sym>><footnote-sep>|>
  138         <\with|locus-color|preserve|visited-color|preserve>
  139           <\locus|<id|<merge|dest-|<arg|id>>>>
  140             <style-with|src-compact|none|<arg|body>>
  141           </locus>
  142         </with>
  143       </surround>>
  144     </style-with>
  145   </macro>>
  146 
  147   <assign|custom-footnote-text|<macro|sym|id|body|<style-with|src-compact|none|<\float|footnote|>
  148     <smaller|<\with|par-mode|justify|par-left|0cm|par-right|0cm>
  149       <\custom-note-text|<arg|sym>|<arg|id>>
  150         <surround||<right-flush>|<arg|body>>
  151       </custom-note-text>
  152     </with>>
  153   </float>>>>
  154 
  155   <assign|custom-note-ref|<macro|sym|sep|id|body|<style-with|src-compact|none|<with|locus-color|preserve|visited-color|preserve|<locus|<id|<merge|source-|<arg|id>>>|<arg|body>>><math|><rsup|<locus|<id|<merge|source-abbr-|<arg|id>>>|<link|footnote-text|<id|<merge|source-abbr-|<arg|id>>>|<id|<merge|dest-|<arg|id>>>>|<arg|sep><arg|sym>>>>>>
  156 
  157   <\active*>
  158     <\src-comment>
  159       Detached notes.
  160     </src-comment>
  161   </active*>
  162 
  163   <assign|render-inline-note|<macro|nr|lab|body|<smaller|<surround|<locus|<id|<hard-id|<arg|body>>>|<link|hyperlink|<id|<hard-id|<arg|body>>>|<url|<merge|#footnr-|<arg|nr>>>>|<arg|nr>><footnote-sep>|<set-binding|<merge|footnote-|<arg|nr>>|<arg|lab>|body>|<style-with|src-compact|none|<arg|body>>>>>>
  164 
  165   <assign|render-wide-note|<\macro|nr|lab|body>
  166     <\style-with|src-compact|none>
  167       <smaller|<with|par-mode|justify|par-left|0cm|par-right|0cm|font-shape|right|dummy|<value|page-fnote-sep>|dummy|<value|page-fnote-barlen>|<style-with|src-compact|none|<surround|<locus|<id|<hard-id|<arg|body>>>|<link|hyperlink|<id|<hard-id|<arg|body>>>|<url|<merge|#footnr-|<arg|nr>>>>|<arg|nr>><footnote-sep>|<set-binding|<merge|footnote-|<arg|nr>>|<arg|lab>|body><right-flush>|<style-with|src-compact|none|<arg|body>>>>>>
  168     </style-with>
  169   </macro>>
  170 
  171   \;
  172 
  173   <assign|note-declare|<macro|id|<if|<not|<provides|<merge|fnote-|<arg|id>>>>|<next-footnote><assign|<merge|fnote-|<arg|id>>|<the-footnote>><assign|<merge|fnlab-|<arg|id>>|<value|the-label>>>>>
  174 
  175   <assign|note-declare*|<macro|id|sym|<if|<not|<provides|<merge|fnote-|<arg|id>>>>|<assign|<merge|fnote-|<arg|id>>|<arg|sym>><assign|<merge|fnlab-|<arg|id>>|<arg|sym>>>>>
  176 
  177   <assign|note-ref|<macro|id|<space|0spc><note-declare|<arg|id>><label|<merge|footnr-|<value|<merge|fnote-|<arg|id>>>>><rsup|<with|font-shape|right|<if|<has-binding|<merge|footnote-|<value|<merge|fnote-|<arg|id>>>>>|<reference|<merge|footnote-|<value|<merge|fnote-|<arg|id>>>>>|<value|<merge|fnlab-|<arg|id>>>>>>>>
  178 
  179   <assign|note-ref*|<macro|id|sym|<space|0spc><note-declare*|<arg|id>|<arg|sym>><label|<merge|footnr-|<value|<merge|fnote-|<arg|id>>>>><rsup|<with|font-shape|right|<if|<has-binding|<merge|footnote-|<value|<merge|fnote-|<arg|id>>>>>|<reference|<merge|footnote-|<value|<merge|fnote-|<arg|id>>>>>|<value|<merge|fnlab-|<arg|id>>>>>>>>
  180 
  181   <assign|note-inline|<macro|body|id|<surround|<note-declare|<arg|id>>||<render-inline-note|<value|<merge|fnote-|<arg|id>>>|<value|<merge|fnlab-|<arg|id>>>|<arg|body>>>>>
  182 
  183   <assign|note-inline*|<macro|body|id|sym|<surround|<note-declare*|<arg|id>|<arg|sym>>||<render-inline-note|<value|<merge|fnote-|<arg|id>>>|<value|<merge|fnlab-|<arg|id>>>|<arg|body>>>>>
  184 
  185   <assign|note-wide|<macro|body|id|<surround|<note-declare|<arg|id>>||<render-wide-note|<value|<merge|fnote-|<arg|id>>>|<value|<merge|fnlab-|<arg|id>>>|<arg|body>>>>>
  186 
  187   <assign|note-wide*|<macro|body|id|sym|<surround|<note-declare*|<arg|id>|<arg|sym>>||<render-wide-note|<value|<merge|fnote-|<arg|id>>>|<value|<merge|fnlab-|<arg|id>>>|<arg|body>>>>>
  188 
  189   <assign|note-footnote|<macro|body|id|<surround|<note-declare|<arg|id>><flag|Footnote|brown>||<with|the-label|<value|<merge|fnlab-|<arg|id>>>|<render-footnote|<value|<merge|fnote-|<arg|id>>>|<arg|body>>>>>>
  190 
  191   <assign|note-footnote*|<macro|body|id|sym|<surround|<note-declare*|<arg|id>|<arg|sym>><flag|Footnote|brown>||<with|the-label|<value|<merge|fnlab-|<arg|id>>>|<render-footnote|<value|<merge|fnote-|<arg|id>>>|<arg|body>>>>>>
  192 
  193   \;
  194 
  195   <drd-props|note-declare|arity|1|unaccessible|0|identifier|0>
  196 
  197   <drd-props|note-declare*|arity|2|unaccessible|all|identifier|0>
  198 
  199   <drd-props|note-ref|arity|1|unaccessible|0|identifier|0>
  200 
  201   <drd-props|note-ref*|arity|2|unaccessible|0|identifier|0|unaccessible|1>
  202 
  203   <drd-props|note-inline|arity|2|accessible|0|unaccessible|1|identifier|1>
  204 
  205   <drd-props|note-inline*|arity|3|accessible|0|unaccessible|1|unaccessible|2|identifier|1>
  206 
  207   <drd-props|note-wide|arity|2|accessible|0|unaccessible|1|identifier|1>
  208 
  209   <drd-props|note-wide*|arity|3|accessible|0|unaccessible|1|unaccessible|2|identifier|1>
  210 
  211   <drd-props|note-footnote|arity|2|accessible|0|unaccessible|1|identifier|1>
  212 
  213   <drd-props|note-footnote*|arity|3|accessible|0|unaccessible|1|unaccessible|2|identifier|1>
  214 
  215   <\active*>
  216     <\src-comment>
  217       Legacy macros.
  218     </src-comment>
  219   </active*>
  220 
  221   <assign|footnote-new|<value|note-declare>>
  222 
  223   <assign|footnote-reference|<value|note-ref>>
  224 
  225   <assign|footnote-text|<value|note-footnote>>
  226 
  227   <assign|footnote-show|<value|note-wide>>
  228 
  229   <drd-props|footnote-new|arity|1|unaccessible|0|identifier|0>
  230 
  231   <drd-props|footnote-reference|arity|1|unaccessible|0|identifier|0>
  232 
  233   <drd-props|footnote-text|arity|2|accessible|0|unaccessible|1|identifier|1>
  234 
  235   <drd-props|footnote-show|arity|2|accessible|0|unaccessible|1|identifier|1>
  236 
  237   <\active*>
  238     <\src-comment>
  239       Wide variants.
  240     </src-comment>
  241   </active*>
  242 
  243   <assign|wide-footnote|<macro|body|<with|par-columns|1|<footnote|<arg|body>>>>>
  244 
  245   <assign|wide-float|<macro|type|pos|body|<flag|wide float|dark
  246   brown><with|par-columns|1|<float|<arg|type>|<arg|pos>|<arg|body>>>>>
  247 </body>
  248 
  249 <\initial>
  250   <\collection>
  251     <associate|preamble|true>
  252   </collection>
  253 </initial>