Avoid opening a definitions tab if there are no definitions found

9f86748affMax Brunsfeld committed on 1/26/2023, 6:30:01 PMparentb396e15
1 file changedLine totals unavailable