This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Deactivate cleanly#384

Draft

winstliu wants to merge 8 commits intomasterfrom

wl-deactivate-cleanly

Commits on Mar 3, 2019

Dispose of all subscriptions on deactivation

Winston Liu
authored and
Winston Liu
committed
Initial pass at proper package deactivation

Winston Liu
authored and
Winston Liu
committed

Commits on Mar 4, 2019

Dispose of editor-watching subscriptions on deactivate

Winston Liu
authored and
Winston Liu
committed
Dispose of pair highlighting on deactivation

Winston Liu
authored and
Winston Liu
committed
:fire: un-needed conditional

Winston Liu
authored and
Winston Liu
committed
Disposal is now handled in main

Winston Liu
authored and
Winston Liu
committed

Commits on Mar 6, 2019

:fire: unnecessary has check

Winston Liu
authored and
Winston Liu
committed
:art:

Winston Liu
authored and
Winston Liu
committed