Closed
Description
At the top of every DevTools panel is the option to switch the dock from "pinned" (default) to "unpinned"
Three dots > View mode > Dock unpinned
When a panel is put into "dock unpinned" mode, clicking on a file automatically closes the panel. This is especially confusing for the Property Editor panel, since clicking in a file is how to update the selected widget in the Property Editor.
We should consider:
- Removing the view mode option
- Warning if the user is in dock unpinned mode
FYI @jwren
Activity
helin24 commentedon May 14, 2025
We have some options here:
toolWindow.getType()
(docked or floating) andtoolWindow.isAutoHide()
(true if unpinned)toolWindow.setAutoHide(false)
to programmatically make the dock pinnedHowever, I don't know if we can remove the unpinned option from the menu. I have not found one but @alexander-doroshko do you know if there's an API for this?
alexander-doroshko commentedon May 15, 2025
I'm afraid I haven't found a way to remove this option from the menu. I hope people don't really use it.
Add warning about "docked unpinned" state (#8247)