.

5e83136a · Kirill Smelkov · c302ff28 · 5e83136a · 5e83136a
Commit 5e83136a authored Mar 12, 2019 by Kirill Smelkov
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

wcfs/todo.dot wcfs/todo.dot +1 -1

wcfs/todo.svg wcfs/todo.svg +1 -1

No files found.
--- a/wcfs/todo.dot
+++ b/wcfs/todo.dot
@@ -85,7 +85,7 @@ digraph {

 	wcfsRead	[label="read(#blk)"]

-	blktabGet	[label="blktab.Get(#blk):\nmanually + → ⌈rev(#blk)⌉"]
+	blktabGet	[label="blktab.Get(#blk):\nmanually + → ⌈rev(#blk)⌉", style=filled fillcolor=grey95]
 	δFtail		[style=filled fillcolor=lightyellow]

 	mappingRegister	[label="mmappings:\nregister/maint"]

--- a/wcfs/todo.svg
+++ b/wcfs/todo.svg
@@ -233,7 +233,7 @@
 <!-- blktabGet -->
 <g id="node19" class="node">
 <title>blktabGet</title>
-<ellipse fill="none" stroke="#000000" cx="1106.2046" cy="-209.8234" rx="114.6026" ry="26.7407"/>
+<ellipse fill="#f2f2f2" stroke="#000000" cx="1106.2046" cy="-209.8234" rx="114.6026" ry="26.7407"/>
 <text text-anchor="middle" x="1106.2046" y="-213.6234" font-family="Times,serif" font-size="14.00" fill="#000000">blktab.Get(#blk):</text>
 <text text-anchor="middle" x="1106.2046" y="-198.6234" font-family="Times,serif" font-size="14.00" fill="#000000">manually + → ⌈rev(#blk)⌉</text>
 </g>