Skip to content
Snippets Groups Projects
Commit 8f69f5cd authored by Cachin, Christian (INF)'s avatar Cachin, Christian (INF)
Browse files

Algorithm line numbering now 3 digits

parent 0e914809
No related branches found
No related tags found
No related merge requests found
......@@ -15,12 +15,12 @@
\newcounter{g@linecounter}
\newbox\g@numbox%
\newdimen\numboxsize \numboxsize=1.5em%
\newdimen\numboxsize \numboxsize=2em%
\newbox\g@seperator \setbox\g@seperator=\hbox{:}
\gdef\g@setnumbox{
\refstepcounter{g@linecounter}%
\global\setbox\g@numbox=\hbox to\numboxsize{\hfil \theg@linecounter\copy\g@seperator\hfil }
\global\setbox\g@numbox=\hbox to\numboxsize{\hfil \theg@linecounter\copy\g@seperator\ }
}
% newlabel increments counter and set numbox. Empty labels are not passed to old label.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment