Re: [PATCH] ui/gtk: full-screening all detached windows

2023-10-17 Thread Marc-André Lureau
Hi On Wed, Oct 18, 2023 at 3:45 AM Kim, Dongwon wrote: > > Hi Marc-André, > > > Hi > > > > On Fri, Oct 13, 2023 at 2:51 AM Dongwon Kim > > wrote: > > > > > > When turning on or off full-screen menu, all detached windows should > > > be full-screened or un-full-screened altogether. > > > > I am n

RE: [PATCH] ui/gtk: full-screening all detached windows

2023-10-17 Thread Kim, Dongwon
Hi Marc-André, > Hi > > On Fri, Oct 13, 2023 at 2:51 AM Dongwon Kim > wrote: > > > > When turning on or off full-screen menu, all detached windows should > > be full-screened or un-full-screened altogether. > > I am not convinced this is desirable. Not only having multiple fullscreen > windows

Re: [PATCH] ui/gtk: full-screening all detached windows

2023-10-16 Thread Marc-André Lureau
Hi On Fri, Oct 13, 2023 at 2:51 AM Dongwon Kim wrote: > > When turning on or off full-screen menu, all detached windows should > be full-screened or un-full-screened altogether. I am not convinced this is desirable. Not only having multiple fullscreen windows on the same screen is usually a bit