Introduced hash valued location markers in the spec

docs/language/dart.sty

Index: docs/language/dart.sty
diff --git a/docs/language/dart.sty b/docs/language/dart.sty
index 9f4db5ee5b06017daa58a2fd2f31d6c7bb01193a..3596e98583ba68244a3149bd92d436110b0d83a6 100644
--- a/docs/language/dart.sty
+++ b/docs/language/dart.sty
@@ -113,3 +113,39 @@
 }{
   %\end{verbatim}
 }
+
+
+% ----------------------------------------------------------------------
+% Support for hash valued Location Markers
+
+% very small font, to enable 33 char hash values in the margin
+\makeatletter
+\ifcase \@ptsize \relax% 10pt
+  \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6
+\or% 11pt
+  \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7
+\or% 12pt
+  \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7
+\fi
+\makeatother
+
+% near-white: location markers should not create visual noise
+\definecolor{LMdim}{gray}{0.95}

[gbracha, 2014/10/10 21:51:59]

Weren't we going to make this totally white so it would be invisible?

[eernst, 2014/10/13 08:03:25]

Done.

+
+% insert location marker showing hash value of following paragraph
+\newcommand{\LMHash}[1]{%
+  \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}}
+
+% support convenient renewcommand
+\let\OriginalLMHash\LMHash
+
+% define a label, and show the associated logical location marker
+\newcommand{\LMLabel}[1]{%
+  \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{sec:#1}}%
+  \label{#1}}
+
+% dummy version of LMHash, always shows the same arbitrary hash value
+\renewcommand{\LMHash}[1]{\OriginalLMHash{ba01b04d58c8c4e259764498f823cc65}}
+
+% ----------------------------------------------------------------------
+