82 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}} |
82 \renewcommand{\isatagTutorialML}{\begin{vanishML}\begin{graybox}} |
83 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}} |
83 \renewcommand{\endisatagTutorialML}{\end{graybox}\end{vanishML}} |
84 |
84 |
85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
85 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
86 % for code that has line numbers |
86 % for code that has line numbers |
|
87 \newenvironment{linenos}{\resetlinenumber\internallinenumbers}{\nolinenumbers} |
|
88 |
87 \isakeeptag{linenos} |
89 \isakeeptag{linenos} |
88 \renewcommand{\isataglinenos}{\begingroup\resetlinenumber\internallinenumbers} |
90 \renewcommand{\isataglinenos}{\begin{linenos}} |
89 \renewcommand{\endisataglinenos}{\par\nolinenumbers\endgroup} |
91 \renewcommand{\endisataglinenos}{\par\end{linenos}} |
90 |
92 |
91 % should only be used in ML code |
93 % should only be used in ML code |
92 \isakeeptag{linenosgray} |
94 \isakeeptag{linenosgray} |
93 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\resetlinenumber\internallinenumbers} |
95 \renewcommand{\isataglinenosgray}{\begin{vanishML}\begin{graybox}\begin{linenos}} |
94 \renewcommand{\endisataglinenosgray}{\par\nolinenumbers\end{graybox}\end{vanishML}} |
96 \renewcommand{\endisataglinenosgray}{\par\end{linenos}\end{graybox}\end{vanishML}} |
95 |
97 |
96 \isakeeptag{small} |
98 \isakeeptag{small} |
97 \renewcommand{\isatagsmall}{\begingroup\small} |
99 \renewcommand{\isatagsmall}{\begingroup\small} |
98 \renewcommand{\endisatagsmall}{\endgroup} |
100 \renewcommand{\endisatagsmall}{\endgroup} |
99 |
101 |