Feature request [VMT] - Embed Pyret with URL flag to disable account menu

[anzook]

Currently, embedding Pyret in other environments such as VMT still renders the account menu including Google Drive connection features. Especially in VMT, which will handle the Pyret state internally, this feature is not used and confusing for users.

Idea: while embedding, the Pyret editor could look for a parameter to disable these features, allowing for a slimmed, embedded version of Pyret to be used in external environments.

[blerner]

If you try https://code.pyret.org/editor#headerStyle=hide, does that suffice for you? (Similarly you can try footerStyle=hide, and you can & the params together to hide both...

[anzook]

Ah- almost! But this also removes the 'Run' buttons which I think are still needed to use the editor (unless I'm missing another way to do so).

[blerner]

well... Ctrl+Enter in the definitions area will rerun it. But that is indeed obscure. :)

There is also headerStyle=small, which does do what you want, but it's got some visual bugs. @asolove or @jpolitz -- who last worked on stylings for the header and footer?

[jpolitz]

I totally forgot about headerStyle=small. That's the right thing here, just need to tweak the buttons. Much smaller TODO!

…

On Thu, Jan 27, 2022 at 2:42 PM, Ben Lerner ***@***.***> wrote: well... Ctrl+Enter in the definitions area will rerun it. But that is indeed obscure. :) There is also headerStyle=small, which does do what you want, but it's got some visual bugs. @asolove <https://github.com/asolove> or @jpolitz <https://github.com/jpolitz> -- who last worked on stylings for the header and footer? — Reply to this email directly, view it on GitHub <#420 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAA5IUZFWPEIPDPTTZTAH4DUYHC33ANCNFSM5M64HNLQ> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub>. You are receiving this because you were mentioned.Message ID: ***@***.***>

[asolove]

@jpolitz does the recent merge of the small header stuff resolve this or is there more to do?

[schanzer]

@jpolitz poking re: adam's last comment. OK to close?

[jpolitz]

Yeah this is all resolved now, thanks for checking.