ArneBinder commited on
Commit
8146394
1 Parent(s): 5003662

correclty highlight parts_of_same args

Browse files
Files changed (1) hide show
  1. app.py +6 -3
app.py CHANGED
@@ -85,10 +85,13 @@ if __name__ == "__main__":
85
  "supports": "#9f9",
86
  # red
87
  "contradicts": "#f99",
88
- # do not highlight
89
- "parts_of_same": None,
 
 
 
 
90
  },
91
- "head": None, # "#faf",
92
  "other": None,
93
  },
94
  }
 
85
  "supports": "#9f9",
86
  # red
87
  "contradicts": "#f99",
88
+ # show in same color as "selected"
89
+ "parts_of_same": "#ffa",
90
+ },
91
+ "head": {
92
+ # show in same color as "selected"
93
+ "parts_of_same": "#ffa",
94
  },
 
95
  "other": None,
96
  },
97
  }