Release 1.2.0 | Plugin 1.2.0#124

Merged

jjw24 merged 73 commits intomasterfrom

Aug 17, 2020

Commits on Jun 21, 2020

Prompt deletion of file or folder
jjw24
committed

Commits on Jun 23, 2020

Merge branch 'dev' into explorer_prompt_deletion
jjw24
committed

Commits on Jul 1, 2020

Merge branch 'dev' into explorer_prompt_deletion
jjw24
authored

Commits on Jul 13, 2020

merge PR #120: update Web Search plugin
JohnTheGr8
authored

Commits on Jul 16, 2020

Commits on Jul 18, 2020

Commits on Aug 3, 2020

fix missing result list preview in Theme tab
jjw24
committed

Commits on Aug 13, 2020

Merge branch 'dev' into add_filecontent_search
jjw24
committed

Commits on Aug 17, 2020