Skip to content

Comments

Release 1.2.0 | Plugin 1.2.0#124

Merged
jjw24 merged 73 commits intomasterfrom
dev
Aug 17, 2020
Merged

Release 1.2.0 | Plugin 1.2.0#124
jjw24 merged 73 commits intomasterfrom
dev

Conversation

@jjw24
Copy link
Member

@jjw24 jjw24 commented Jul 17, 2020

Release Notes

Features

Enhancements

Bug fixes

jjw24 and others added 30 commits June 22, 2020 08:43
fix auto-suggestions font color
Rename missed file during the rebrand
Add update messages to indicate progress
do not activate if query is a directory/network path
fixes various settings changes requiring a restart to take effect
@jjw24 jjw24 changed the title Release 1.2.0 Release 1.2.0 | Plugin 1.2.0 Aug 16, 2020
@jjw24 jjw24 marked this pull request as ready for review August 17, 2020 09:47
@jjw24 jjw24 merged commit a8bfe6e into master Aug 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release Release PR which contains the changes going into the upcoming release

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants