[Qt-creator] Closing pinned files

[EXT Mitch Curtis]

For a while now I've been meaning to implement https://bugreports.qt.io/browse/QTCREATORBUG-25964 to save myself the trouble of accidentally closing pinned files. Currently, pinned files are only immune from Close All, but closing via Ctrl+W, context menu, etc. will still close them without any prompt.

I'm curious if anyone has opinions on potential solutions to this. Should we:

- Ask the user if they want to close the pinned file, defaulting to "No", and with the option to never ask again? To me, allowing the option to never ask again seems to defeat the purpose of pinning files; it's too easy to accidentally close pinned files in the future.
- Tell the user that pinned files cannot be closed, and that they have to be unpinned first. This option is perhaps less convenient, but in my experience, I almost never want to close pinned files, so it seems more foolproof. For those that dislike this, perhaps there could be a link to the settings to permanently disable it.

What do you think?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.qt-project.org/pipermail/qt-creator/attachments/20221021/d753f9f4/attachment.htm>