align colors of two dots with the same meaning

mattpolzin · Jun 30, 2024 · fb0b2e4 · fb0b2e4
1 parent 4b186b5
commit fb0b2e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Graph.idr b/src/Graph.idr
@@ -181,7 +181,7 @@ reviewsGraph @{config} closedReviews openReviews candidates completedReviews =
  ]
  where
  pendingDot : Doc AnsiStyle
- pendingDot = theme Pending $ pretty "·"
+ pendingDot = theme Pending' $ pretty "·"
 
  missedDot : Doc AnsiStyle
  missedDot = theme Missed $ pretty "◦"