Prefs panel is leaked #3
Description
See here: https://github.com/codebrainz/code-format/blob/master/plugin.c#L148
Need to destroy the widget.
{{ message }}
See here: https://github.com/codebrainz/code-format/blob/master/plugin.c#L148
Need to destroy the widget.