pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Re-enabled figures.

This commit is contained in:
Achim D. Brucker 2018-09-18 17:18:27 +01:00
parent 910f81768f
commit 2156a532e6
1 changed files with 34 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

67
document-generator/latex/DOF-core.sty
View File

@ -36,18 +36,18 @@
,Isa_DOF.figure.src=% ,Isa_DOF.figure.src=%
,Isa_DOF.figure.spawn_columns=enum False True% ,Isa_DOF.figure.spawn_columns=enum False True%
][1]{% ][1]{%
% TODO: \gdef\DOF@src{\commandkey{Isa_DOF.figure.src}}%
% \begin{figure}[] \begin{figure}[]
% \centering \centering
% \ifcommandkey{Isa_DOF.figure.relative_width} \ifcommandkey{Isa_DOF.figure.relative_width}
% {% {%
% \FPdiv\scale{\commandkey{Isa_DOF.figure.relative_width}}{100} \FPdiv\scale{\commandkey{Isa_DOF.figure.relative_width}}{100}
% \includegraphics[width=\scale\textwidth]{\commandkey{Isa_DOF.figure.src}} \includegraphics[width=\scale\textwidth]{\DOF@src}
% }{% }{%
% \includegraphics[]{\commandkey{Isa_DOF.figure.src}} \includegraphics[]{\DOF@src}
% } }
% \caption{#1}\label{\commandkey{Isa_DOF.figure.label}}% \caption{#1}\label{\commandkey{label}}%
% \end{figure} \end{figure}
} }
% end: figure* % end: figure*
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@ -71,27 +71,28 @@
,Isa_DOF.side_by_side_figure.spawn_columns=enum False True% ,Isa_DOF.side_by_side_figure.spawn_columns=enum False True%
][1]{% ][1]{%
\begin{figure}[] \begin{figure}[]
% TODO \gdef\DOF@src{\commandkey{Isa_DOF.figure.src}}%
% \subfloat[\label{\commandkey{anchor}}\commandkey{caption}]% \gdef\DOF@srctwo{\commandkey{Isa_DOF.side_by_side_figure.src2}}%
% {\ifcommandkey{relative_width}% \subfloat[\label{\commandkey{Isa_DOF.side_by_side_figure.anchor}}\commandkey{Isa_DOF.side_by_side_figure.caption}]%
% {% {\ifcommandkey{Isa_DOF.figure.relative_width}%
% \FPdiv\scale{\commandkey{relative_width}}{100}% {%
% \includegraphics[width=\scale\textwidth]{\commandkey{src}}% \FPdiv\scale{\commandkey{Isa_DOF.figure.relative_width}}{100}%
% }{% \includegraphics[width=\scale\textwidth]{\DOF@src}%
% \includegraphics[]{\commandkey{src}}% }{%
% }% \includegraphics[]{\DOF@src}%
% }% }%
% \hfill% }%
% \subfloat[\label{\commandkey{anchor2}}\commandkey{caption2}]% \hfill%
% {\ifcommandkey{relative_width2}% \subfloat[\label{\commandkey{Isa_DOF.side_by_side_figure.anchor2}}\commandkey{Isa_DOF.side_by_side_figure.caption2}]%
% {% {\ifcommandkey{Isa_DOF.side_by_side_figure.relative_width2}%
% \FPdiv\scale{\commandkey{relative_width2}}{100}% {%
% \includegraphics[width=\scale\textwidth]{\commandkey{src2}}% \FPdiv\scale{\commandkey{Isa_DOF.side_by_side_figure.relative_width2}}{100}%
% }{% \includegraphics[width=\scale\textwidth]{\DOF@srctwo}%
% \includegraphics[]{\commandkey{src2}}% }{%
% }% \includegraphics[]{\DOF@srctwo}%
% }% }%
% \caption{#1}\label{\commandkey{label}}% }%
\caption{#1}\label{\commandkey{label}}%
\end{figure} \end{figure}
} }
% end: side_by_side_figure* % end: side_by_side_figure*