Skip to content

Commit

Permalink
Show notes only with level=2 due to hide=false bug
Browse files Browse the repository at this point in the history
  • Loading branch information
vmordan committed Mar 13, 2024
1 parent 736e0cf commit 8a1aeb1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion web/reports/etv.py
Original file line number Diff line number Diff line change
Expand Up @@ -160,7 +160,7 @@ def __init__(self, data, include_assumptions, thread_id, triangles, cnt=0):
self.callback_actions = list(data['callback actions']) if 'callback actions' in data else []
self.functions = list(data['funcs']) if 'funcs' in data else []
# TODO: Add argument in web-interface
self.notes_level = 2
self.notes_level = 1
self.type = data.get('type')
self.include_assumptions = include_assumptions
self.triangles = triangles
Expand Down

0 comments on commit 8a1aeb1

Please sign in to comment.