Re: [Qt-creator] Closing pinned files

2022-10-21 Thread EXT Mitch Curtis via Qt-creator
... and Close All will be unaffected by this change; it just won't do anything, as before, as it'd be too disruptive. From: Qt-creator On Behalf Of EXT Mitch Curtis via Qt-creator Sent: Friday, 21 October 2022 5:43 PM To: qt-creator@qt-project.org Subject: [Qt-creator] Closing pinned files

[Qt-creator] Closing pinned files

2022-10-21 Thread EXT Mitch Curtis via Qt-creator
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

Re: [Qt-creator] Closing pinned files

2022-10-24 Thread EXT Mitch Curtis via Qt-creator
already code to highlight a widget in Creator? > Greetings, > David > > > |-Original Message- > |From: Qt-creator On Behalf Of EXT > |Mitch Curtis via Qt-creator > |Sent: Monday, October 24, 2022 3:28 AM > |To: André Hartmann ; qt-creator@qt-proje

Re: [Qt-creator] Closing pinned files

2022-10-23 Thread EXT Mitch Curtis via Qt-creator
ion, and therefore I don't think a global setting allowing that is > useful. Good to know, thanks. > Best regards, > André > > Am 21.10.22 um 11:45 schrieb EXT Mitch Curtis via Qt-creator: > > … and Close All will be unaffected by this change; it just won’t do > > anything,

Re: [Qt-creator] Closing pinned files

2022-11-10 Thread EXT Mitch Curtis via Qt-creator
> -Original Message- > From: Carel Combrink > Sent: Friday, 11 November 2022 1:56 PM > To: qt-creator@qt-project.org > Cc: EXT Mitch Curtis ; Eike Ziller > Subject: Re: [Qt-creator] Closing pinned files > > On Mon, 31 Oct 2022 at 09:51, Eike Ziller via Qt-creator project.org

Re: [Qt-creator] Poll: Contents / styling of editor toolbars

2023-04-04 Thread EXT Mitch Curtis via Qt-creator
> -Original Message- > From: Qt-creator On Behalf Of A. Pönitz > Sent: Wednesday, April 5, 2023 12:58 AM > To: qt-crea...@lists.qt-project.org > Subject: [Qt-creator] Poll: Contents / styling of editor toolbars > > > Not exactly the right time of the year for a wish list, still: > > If

Re: [Qt-creator] OT: Re: Poll: Contents / styling of editor toolbars

2023-04-05 Thread EXT Mitch Curtis via Qt-creator
> -Original Message- > From: Qt-creator On Behalf Of Robert > Löhning via Qt-creator > Sent: Wednesday, April 5, 2023 11:20 PM > To: qt-creator@qt-project.org > Subject: [Qt-creator] OT: Re: Poll: Contents / styling of editor toolbars > > Am 05.04.23 um 04:44