Hover Editor

[greetclammy]

Because the Hover Editor bring ups a fully-featured editor instance, it mistakenly shows up in Vertical Tabs as a regular tab:

Screen.Recording.2025-01-19.at.00.17.14.mov

[oxdc]

Hi @greetclammy ! I’ll convert this into a Q&A discussion because this

it mistakenly shows up in Vertical Tabs as a regular tab

is actually the intended behavior, not a mistake. Technically, the fully-featured editor is a real, regular tab. The Hover Editor simply pops this tab out of the rigid workspace environment. Vertical Tabs faithfully reflects this reality.

Furthermore, this is actually a feature that allows users to drag the pinned floating tab directly back into the workspace.

demo_hover_editor.mp4

While dragging outside of the Hover Editor works fine, an error occurs if you try to drag it back into the Hover Editor. This seems to be an issue with the Hover Editor itself, and I’m currently investigating. Thank you!