Re: [Kimchi-devel] [PATCH] Issue #704: page refreshing in Wok when no plugins installed