auronen/DecDat

After subsequent search the source-code tab doesn't update

Closed this issue · 0 comments

auronen commented

How to reproduce.

  1. Search for a symbol - it shows its source-code
  2. Search for another symbol - nothing happens when you select the result