You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The problem is that the guide is a different type of frame that isn't configured at all for .py files (say).
How to fix:
bad hack: in every place where we add "terminal" as an allowed frame type when registering an editor, also add the guide frame type. This is bad since it is confusing and clutters the UI.
better hack: somehow just allow this guide to be opened anyways if terminal is there, but don't list it explicitly in any menus.
The text was updated successfully, but these errors were encountered:
The above works fine if the file is foo.term.
The problem is that the guide is a different type of frame that isn't configured at all for .py files (say).
How to fix:
The text was updated successfully, but these errors were encountered: