[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[platform-ui-dev] How do I ask if editor is pinned?

I need to know if an editor is pinned. I could not find the corresponding API.

Background: Search reuses non-dirty editors and therefore currently also reuses a pinned editor (bug 8765). To fix it I need the above API.