Merge pull request apache#10854: State timers documentation

mransley · Feb 27, 2020 · 94e6978 · 94e6978
1 parent 777a401
commit 94e6978
Show file tree

Hide file tree

Showing 2 changed files with 553 additions and 0 deletions.
diff --git a/website/src/_includes/section-menu/documentation.html b/website/src/_includes/section-menu/documentation.html
@@ -121,6 +121,17 @@
  <li><a href="{{ site.baseurl }}/documentation/programming-guide/#using-metrics">Using metrics in pipeline</a></li>
  </ul>
  </li>
+ <li class="section-nav-item--collapsible">
+ <span class="section-nav-list-title">State and Timers</span>
+
+ <ul class="section-nav-list">
+ <li><a href="{{ site.baseurl }}/documentation/programming-guide/#types-of-state">Types of state</a></li>
+ <li><a href="{{ site.baseurl }}/documentation/programming-guide/#deferred-state-reads">Deferred state reads</a></li>
+ <li><a href="{{ site.baseurl }}/documentation/programming-guide/#timers">Timers</a></li>
+ <li><a href="{{ site.baseurl }}/documentation/programming-guide/#garbage-collecting-state">Garbage collecting state</a></li>
+ <li><a href="{{ site.baseurl }}/documentation/programming-guide/#state-timers-examples">State and timers examples</a></li>
+ </ul>
+ </li>
  </ul>
 </li>