This repository has been archived by the owner on Aug 31, 2021. It is now read-only.

Warn and offer rename if widget default script is not named correctly #891

Open

livecodeali opened this issue Feb 11, 2016 · 0 comments

Labels

Milestone

Member

livecodeali commented Feb 11, 2016

See #854

livecodeali added the enhancement label

peter-b modified the milestone: 8.1.0-future

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.