Fix deterministic workspace indexing and search#2178

jkaunert wants to merge 1 commit into

CodeEditApp:mainCodeEditApp/CodeEdit:mainfrom

jkaunert:fix/issue-1993-indexing-search-contractsjkaunert/CodeEdit:fix/issue-1993-indexing-search-contractsCopy head branch name to clipboard